Cited in
(57)- scientific article; zbMATH DE number 815433 (Why is no real title available?)
- Symbolic Counter Abstraction for Concurrent Software
- CSP is a retract of CCS
- Computer Aided Verification
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
- Tools and Algorithms for the Construction and Analysis of Systems
- Software model checking with explicit scheduler and symbolic threads
- Tools and Algorithms for the Construction and Analysis of Systems
- Model Checking Software
- Modular Safety Checking for Fine-Grained Concurrency
- Zap: Automated Theorem Proving for Software Analysis
- Optimal pricing in a hazard rate model of demand
- Verification of STM on relaxed memory models
- Extracting Zing Models from C Source Code
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- MPI-CHECK
- Cogent
- POOC
- DiVer
- veriSoft
- StEAM
- SLAM
- desing
- Bogor
- Bandera
- MultiVeStA
- Bebop
- Gauss
- Velodrome
- dSPIN
- Checkfence
- YASM
- Orion
- MOPS
- SIMGRID
- MoonWalker
- SatAbs
- Unison
- MAGIC
- LusSy
- SimGridMC
- Question-guided stubborn set methods for state properties
- Tools and Algorithms for the Construction and Analysis of Systems
- A simplified proof of desingularization and applications
- Models and Software Model Checking of a Distributed File Replication System
- Model Checking Software
- Verification of Boolean programs with unbounded thread creation
- Deciding Substitutability of Services with Operating Guidelines
- Tools and Algorithms for the Construction and Analysis of Systems
- Concurrent software verification with states, events, and deadlocks
- Model Checking Software
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Computer Aided Verification
- Extreme Financial Risks
- Information Security and Privacy
- Model Checking Software
- Computer Aided Verification
This page was built for software: Zing
