Back to Results
First PageMeta Content
Model checking / Thread / Monotonic function / Abstraction / Mathematical analysis / Concurrent computing / Computing


Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It
Add to Reading List

Document Date: 2014-06-22 11:48:59

Open Document

File Size: 1,34 MB

Share Result on Facebook

City

Oxford / /

Event

Person Travel / /

Facility

University of Oxford / Philosophy Kellogg College / Northeastern University / Alexander Kaiser University of Oxford / /

IndustryTerm

much improved algorithm / certain mainstream asynchronous software / closure operator / ticket algorithm / fruitful applications / concurrent software / classical backward search / concurrent systems / sequential list algorithm / human-written concurrent software / well quasi-ordered systems / fixed-thread tools / safety checking algorithms / algorithmic solution / energy / /

OperatingSystem

FreeBSD / Solaris / /

Organization

Oxford Computer Science Department / Northeastern University in Boston / Philosophy Kellogg College / Engineering and Physical Sciences Research Council / University of Oxford / /

Person

Michael Tautschnig / Robert Marschinski / Julia Vollmer / Jochen Vollmer / Ulrike Reichle / Stefan Kiefer / Emelie / Alexander Kaiser / Hristina Palikareva / Philipp Rümmer / Alastair Donaldson / Daniel Kroening / Vincent Nimal / Georg Weissenbacher / Helga Mayer-Kaiser / Ramon Granell Leopold Haller / Richard Kaiser / Thomas Wahl / Adele Skowronski / Manuel Oriol / Gérard Basler / Trinity / Luke Ong / /

Position

driver / supervisor / co-supervisor / /

ProgrammingLanguage

D / C / /

Technology

ticket algorithm / Monotonicity-aware Das/Dill algorithm / 25 26 27 28 29 30 31 32 33 Apple Bus protocol / empirically much improved algorithm / safety checking algorithms / shared memory / key enabling technology / sequential list algorithm / /

SocialTag