Verification of Shared-Reading Synchronisers (original) (raw)
Related papers
A decision procedure for detecting atomicity violations for communicating processes with locks
International Journal on Software Tools for Technology Transfer, 2011
Specification and Verification of Synchronizing Concurrent Objects
2004
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th international conference on Software engineering - ICSE '02, 2002
Associating synchronization constraints with data in an object-oriented language
ACM SIGPLAN Notices, 2006
Declarative concurrency in Java
Lecture Notes in Computer Science, 2000
Verification and design aspects of "true concurrency
1978
A verification approach for system-level concurrent programs
Verified Software: Theories, …, 2008
Runtime verification of concurrency-specific correctness criteria
International Journal on Software Tools for Technology Transfer, 2012
Verification of Concurrent Objects with Asynchronous Method Calls
A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
cs.umich.edu, 2010
Variable Permissions for Concurrency Verification
Synchronizing Java threads using assertions
Technology of Object- …, 1999
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Lecture Notes in Computer Science, 2018
Transparently Reconciling Transactions with Locking for Java Synchronization
Lecture Notes in Computer Science, 2006
Specification of Synchronizing Processes
IEEE Transactions on Software Engineering, 2000
Verifiable concurrent programming using concurrency controllers
Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004
Formal Verification of Language-Based Concurrent Noninterference
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st …, 1999
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership
arXiv (Cornell University), 2014
Restrictions on Concurrency in Model Checking of Java Programs
2000
Specifying and checking semantic atomicity for multithreaded programs
ACM SIGARCH Computer Architecture News, 2011
The java.util.concurrent synchronizer framework
Science of Computer Programming, 2005
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
Electronic Notes in Theoretical Computer Science, 2006
Decision Procedures for the Temporal Verification of Concurrent Lists
Lecture Notes in Computer Science, 2010
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Lecture Notes in Computer Science, 2015
Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs
2009
Towards automatic proofs of lock-free algorithms
2008
Reasoning about Java’s Reentrant Locks
Lecture Notes in Computer Science, 2008
Using block-local atomicity to detect stale-value concurrency errors
Specification and Verification of Secure Concurrent and Distributed Software Systems
1992