Wolf - Bug Hunter for Concurrent Software Using Formal Methods
No abstract available.
Related papers
- Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV 2007
- Symbolically modeling concurrent MCAPI executions PPoPP 2011
- CONCURRIT: a domain specific language for reproducing concurrency bugs PLDI 2013
- Testing concurrency on the JVM with lincheck PPoPP 2020
- Efficient concurrency-bug detection across inputs OOPSLA 2013
- Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs OOPSLA 2010
- DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs POPL 2026
- Fully automatic and precise detection of thread safety violations PLDI 2012