Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs (original) (raw)
Related papers
A verification approach for system-level concurrent programs
Verified Software: Theories, …, 2008
A Tool-Supported Proof System for Multithreaded Java
Formal Methods for …, 2003
Modular verification of multithreaded programs
Theoretical Computer Science, 2005
Decision Procedures for the Temporal Verification of Concurrent Lists
Lecture Notes in Computer Science, 2010
Design for verification for concurrent and distributed programs
2005
2015
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Lecture Notes in Computer Science, 2015
Predicate abstraction and refinement for verifying multi-threaded programs
ACM SIGPLAN Notices, 2011
Verification of Concurrent Objects with Asynchronous Method Calls
An assertional proof system for multithreaded Java: Theory and tool support
The stability problem for verification of concurrent object-oriented programs
2007
Runtime verification of concurrency-specific correctness criteria
International Journal on Software Tools for Technology Transfer, 2012
An Assertional Proof System for Multithreaded Java
On Verification of Parallel Message-Passing Processes
Formal Aspects of Computing, 2002
Verification and design aspects of "true concurrency
1978
Variable Permissions for Concurrency Verification
An assertion-based proof system for multithreaded Java
Theoretical Computer …, 2005
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors
Lecture Notes in Computer Science, 2007
Verifying Concurrent Programs via Bounded Context-Switching and Induction
2011
Modular Termination Verification of Single-Threaded and Multithreaded Programs
ACM Transactions on Programming Languages and Systems, 2018
Verifying Compiler Transformations for Concurrent Programs
Verifiable concurrent programming using concurrency controllers
Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004
An Improvement in Formal Verification
Formal Description Techniques VII, 1995