scientific article; zbMATH DE number 2090156

zbMath1064.68550MaRDI QIDQ4808850

Natalia Ioustinova, Martin Steffen, Natalia Sidorova

Publication date: 12 August 2004

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

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

zbMATH Keywords

model checkingabstractionsSDLDTSpinopen communication systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CESAR
• MOCHA

This page was built for publication: