swMATH9938MaRDI QIDQ21917FDOQ21917
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_51
Cited In (36)
- Regression verification for multi-threaded programs
- Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
- Analysis of correct synchronization of operating system components
- Predicate abstraction for program verification
- Software verification for weak memory via program transformation
- Cseq
- CPAchecker
- Predator
- UFO
- ACL2s
- SymmExtractor
- SymmPa
- HSF
- SLAB
- Orion
- Lazy-CSeq
- MAGIC
- LCTD
- LCTD: test-guided proofs for C programs on LLVM
- monabs
- LOCKSMITH
- RELAY
- Ultimate Kojak
- CPAlien
- FrankenBit
- Jakstab
- MU-CSeq
- Symbiotic 2
- LCT
- CIVL
- Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
- Lost in abstraction: monotonicity in multi-threaded programs
- Practical abstractions for automated verification of shared-memory concurrency
- Combining model checking and data-flow analysis
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- Horn clauses as an intermediate representation for program analysis and transformation
This page was built for software: Threader
