Zing: A Model Checker for Concurrent Software
Abstract elided by the publisher.
Related papers
- AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL CAV 2020
- Fair stateless model checking PLDI 2008
- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems TACAS 2010
- Yasm: A Software Model-Checker for Verification and Refutation CAV 2006
- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework CAV 2005
- Kratos - A Software Model Checker for SystemC CAV 2011
- Iterative context bounding for systematic testing of multithreaded programs PLDI 2007
- sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency CAV 2025