Zing
From MaRDI portal
Software:13781
No author found.
Related Items (31)
Software Model Checking with Explicit Scheduler and Symbolic Threads ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Model Checking Software ⋮ Model Checking Software ⋮ Model Checking Software ⋮ Question-guided stubborn set methods for state properties ⋮ Computer Aided Verification ⋮ System-level state equality detection for the formal dynamic verification of legacy distributed applications ⋮ Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving ⋮ Concurrent software verification with states, events, and deadlocks ⋮ Models and Software Model Checking of a Distributed File Replication System ⋮ Verification of STM on relaxed memory models ⋮ Zap: Automated Theorem Proving for Software Analysis ⋮ Optimal pricing in a hazard rate model of demand ⋮ Information Security and Privacy ⋮ Verification of Boolean programs with unbounded thread creation ⋮ CSP is a retract of CCS ⋮ Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions ⋮ Extracting Zing Models from C Source Code ⋮ Modular Safety Checking for Fine-Grained Concurrency ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ Unnamed Item ⋮ Extreme Financial Risks ⋮ Model Checking Software ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Symbolic Counter Abstraction for Concurrent Software ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ A simplified proof of desingularization and applications
This page was built for software: Zing
