Zing - MaRDI portal

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