Model checking SDL with Spin

DOI10.1007/3-540-46419-0_25MaRDI QIDQ2729079zbMATH OpenFDO

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

Publication date 6 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46419-0_25

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)

• Modeling the ASCB-D synchronization algorithm with SPIN: A case study
• 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: Model checking SDL with Spin

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