The following pages link to Zing (Q13781):
Displaying 31 items.
- Verification of STM on relaxed memory models (Q453508) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
- Concurrent software verification with states, events, and deadlocks (Q2432214) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- A simplified proof of desingularization and applications (Q2583386) (← links)
- Software model checking with explicit scheduler and symbolic threads (Q2904614) (← links)
- Extreme Financial Risks (Q3379404) (← links)
- Models and Software Model Checking of a Distributed File Replication System (Q3526923) (← links)
- Modular Safety Checking for Fine-Grained Concurrency (Q3612005) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- Symbolic Counter Abstraction for Concurrent Software (Q3636854) (← links)
- (Q4855490) (← links)
- Computer Aided Verification (Q5312903) (← links)
- Computer Aided Verification (Q5312934) (← links)
- Zap: Automated Theorem Proving for Software Analysis (Q5387827) (← links)
- Model Checking Software (Q5394552) (← links)
- Model Checking Software (Q5394555) (← links)
- Model Checking Software (Q5394557) (← links)
- Extracting Zing Models from C Source Code (Q5448824) (← links)
- Information Security and Privacy (Q5473567) (← links)
- Optimal pricing in a hazard rate model of demand (Q5695573) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703772) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703796) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703798) (← links)
- Computer Aided Verification (Q5716600) (← links)
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (Q5756735) (← links)
- Model Checking Software (Q5899039) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899066) (← links)
