scientific article; zbMATH DE number 1759597

zbMath0999.68523MaRDI QIDQ4536588

Natarajan Shankar

Publication date: 28 November 2002

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)

Providing a formal linkage between MDG and HOL ⋮ Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving ⋮ Verifying Reference Counting Implementations ⋮ Tool support for learning Büchi automata and linear temporal logic

Uses Software

• PVS
• HOL
• Cadence SMV

This page was built for publication: