Efficient verification of sequential and concurrent C programs
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 50008
- Verification of sequential and concurrent programs
- Verifying concurrent programs against sequential specifications
- scientific article; zbMATH DE number 1032897
- Verification of fine-grain concurrent programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Programmverifikation
- Verifying optimizations for concurrent programs
Cited in
(13)- Verification of concurrent programs using trace abstraction refinement
- Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules
- Predicate abstraction and refinement for verifying multi-threaded programs
- Formal verification for C program
- Distributed and predictable software model checking
- Verification of sequential and concurrent programs
- Verification of evolving software via component substitutability analysis
- Verified Compilation for Shared-Memory C
- An Iterative Framework for Simulation Conformance
- Tools and Algorithms for the Construction and Analysis of Systems
- Concurrent software verification with states, events, and deadlocks
- Automated compositional abstraction refinement for concurrent C programs: a two-level approach
- Verification of SpecC using predicate abstraction
This page was built for publication: Efficient verification of sequential and concurrent C programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1888200)
