A verification approach for system-level concurrent programs (original) (raw)
Related papers
Runtime verification of concurrency-specific correctness criteria
International Journal on Software Tools for Technology Transfer, 2012
Specifying and Verifying Concurrent C Programs with TLA+
Communications in Computer and Information Science, 2015
Concurrent software verification with states, events, and deadlocks
Formal Aspects of Computing, 2005
Design for verification for concurrent and distributed programs
2005
VYRD: verifYing concurrent programs by runtime refinement-violation detection
2005
Mechanized Verification of Fine-grained Concurrent Programs
Generic tools for verifying concurrent systems
Science of Computer Programming, 2002
Verifiable concurrent programming using concurrency controllers
Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004
2015
Modular verification of shared-memory concurrent system software
2011
VCC: Contract-based modular verification of concurrent C
2009 31st International Conference on Software Engineering - Companion Volume, 2009
The effect of uncontrolled concurrency on model checking
Concurrency and Computation: Practice and Experience, 2008
Specification and Verification of Secure Concurrent and Distributed Software Systems
1992
Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs
2009
Run-Time Verification of Optimistic Concurrency
Lecture Notes in Computer Science, 2010
Modular verification of multithreaded programs
Theoretical Computer Science, 2005
Assume-Guarantee Verification of Concurrent Systems
2009
Verifying multi-threaded software using smt-based context-bounded model checking
2011
Modular Termination Verification of Single-Threaded and Multithreaded Programs
ACM Transactions on Programming Languages and Systems, 2018
Specifying and checking semantic atomicity for multithreaded programs
ACM SIGARCH Computer Architecture News, 2011
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th international conference on Software engineering - ICSE '02, 2002
Formal verification of microprocessors
Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, 1989
Verification and design aspects of "true concurrency
1978
Model checking for concurrent software architectures
1999
Verification of Parameterized Concurrent Programs By Modular Reasoning about Data and Control
ACM SIGPLAN NOTICES, 2012
A case study on the lightweight verification of a multi-threaded task server
Science of Computer Programming, 2014
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
2006
Safety and liveness in concurrent pointer programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006
Automated refinement checking of concurrent systems
2007 IEEE/ACM International Conference on Computer-Aided Design, 2007
The stability problem for verification of concurrent object-oriented programs
2007