Zing - MaRDI portal

Cited in

(57)

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

This page was built for software: Zing