scientific article; zbMATH DE number 2090136

zbMath1064.68554MaRDI QIDQ4808828

Alexandre Mota, Augusto Sampaio, Paulo Borba

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910163.htm

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 (3)

On using data abstractions for model checking refinements ⋮ Checking Z Data Refinements Using Traces Refinement ⋮ Test generation from state based use case models

Uses Software

• PVS
• Z/EVES

This page was built for publication: