scientific article; zbMATH DE number 1744960

zbMath0985.68639MaRDI QIDQ4531753

Willem Visser, Flavio Lerda

Publication date: 23 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570080

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Model checking dynamic memory allocation in operating systems ⋮ Model Checking of Biological Systems ⋮ Unnamed Item ⋮ A Game Theoretic Approach to the Analysis of Dynamic Networks

Uses Software

• SPIN
• Java PathFinder
• Bandera
• Bebop
• dSPIN

This page was built for publication: