scientific article; zbMATH DE number 1927550

MaRDI QIDQ4484474zbMATH OpenFDO

Authors Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yuri A. Yushtein, Wan Fokkink, Y. S. Usenko

Publication date 12 June 2003

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1982196
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1693445
• scientific article; zbMATH DE number 1927410
• Using the Alloy analyzer to verify data refinement in Z

Cited in

(2)

• scientific article; zbMATH DE number 2088928 (Why is no real title available?)
• State space reduction of linear processes using control flow reconstruction

Describes a project that uses

Uses Software

• SPIN
• Alcoa

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484474)