Zing
From MaRDI portal
Software:13781
swMATH1037MaRDI QIDQ13781FDOQ13781
Author name not available (Why is that?)
Cited In (31)
- Title not available (Why is that?)
- 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
- Tools and Algorithms for the Construction and Analysis of Systems
- Software model checking with explicit scheduler and symbolic threads
- 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
- Extracting Zing Models from C Source Code
- Verification of STM on relaxed memory models
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- 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
- Model Checking Software
- Models and Software Model Checking of a Distributed File Replication System
- 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
- Computer Aided Verification
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Extreme Financial Risks
- Information Security and Privacy
- Model Checking Software
- Computer Aided Verification
This page was built for software: Zing
