scientific article; zbMATH DE number 2102714

zbMath1046.68593MaRDI QIDQ4818798

Shaz Qadeer, Sriram K. Rajamani, Thomas A. Henzinger

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

On the correctness problem for serializability ⋮ Model checking transactional memories ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ Verifying Parameterized taDOM+ Lock Managers

Uses Software

• PVS
• SNOOPY
• MOCHA

This page was built for publication: