scientific article; zbMATH DE number 1069490

MaRDI QIDQ4356443zbMATH OpenFDO

Authors

Publication date 1 October 1997

zbMATH Keywords

distributed systemsPROMELAspecification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A generalized semantics of PROMELA for abstract model checking
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• scientific article; zbMATH DE number 2087618
• scientific article; zbMATH DE number 4050949

Cited in

(4)

• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• Static slicing of explicitly synchronized languages
• scientific article; zbMATH DE number 1497775 (Why is no real title available?)
• scientific article; zbMATH DE number 2087630 (Why is no real title available?)

Describes a project that uses

Uses Software

• SPIN
• PROMELA

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 Q4356443)