3 Result(s)
within
Conference Paper
Alexander J. Summers
English
Computation by Abstract Devices
-
Chapter and Conference Paper
Actor Services
We present actor services: a novel program logic for defining and verifying response and functional properties of programs which communicate via asynchronous messaging. Actor services can specify how parts of ...
-
Chapter and Conference Paper
Viper: A Verification Infrastructure for Permission-Based Reasoning
The automation of verification techniques based on first-order logic specifications has benefitted greatly from verification infrastructures such as Boogie and Why. These offer an intermediate language that ca...
-
Chapter and Conference Paper
Abstract Read Permissions: Fractional Permissions without the Fractions
Fractional Permissions are a popular approach to reasoning about programs that use shared-memory concurrency, because they provide a way of proving data race freedom while permitting concurrent read access. Ho...
