scientific article; zbMATH DE number 1629963

MaRDI QIDQ2729079zbMATH OpenFDO

Authors Dragan Bošnački, Dennis Dams, Leszek Holenderski, Natalia Sidorova

Publication date 6 November 2001

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1728514
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• scientific article; zbMATH DE number 2090156
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
• scientific article; zbMATH DE number 1728528

Cited in

(19)

• scientific article; zbMATH DE number 1670554 (Why is no real title available?)
• Implementing discrete time in Promela and Spin
• scientific article; zbMATH DE number 1728514 (Why is no real title available?)
• scientific article; zbMATH DE number 1728527 (Why is no real title available?)
• scientific article; zbMATH DE number 1728528 (Why is no real title available?)
• SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
• scientific article; zbMATH DE number 2084330 (Why is no real title available?)
• scientific article; zbMATH DE number 1069484 (Why is no real title available?)
• scientific article; zbMATH DE number 1069492 (Why is no real title available?)
• scientific article; zbMATH DE number 1982203 (Why is no real title available?)
• scientific article; zbMATH DE number 2043469 (Why is no real title available?)
• scientific article; zbMATH DE number 2043473 (Why is no real title available?)
• scientific article; zbMATH DE number 1744962 (Why is no real title available?)
• scientific article; zbMATH DE number 1744969 (Why is no real title available?)
• scientific article; zbMATH DE number 1796147 (Why is no real title available?)
• scientific article; zbMATH DE number 2086508 (Why is no real title available?)
• scientific article; zbMATH DE number 2087623 (Why is no real title available?)
• scientific article; zbMATH DE number 2090156 (Why is no real title available?)
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

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