Modeling the ASCB-D synchronization algorithm with SPIN: A case study

DOI10.1007/10722468_6MaRDI QIDQ2753755zbMATH OpenFDO

Authors Nicholas Weininger, Darren D. Cofer

Publication date 11 November 2001

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

Full work available at URL https://doi.org/10.1007/10722468_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• Model checking SDL with Spin
• scientific article; zbMATH DE number 1744968
• scientific article; zbMATH DE number 1069492
• scientific article; zbMATH DE number 1744967

Cited in

(2)

• Concurrent usage control implementation verification using the SPIN model checker
• scientific article; zbMATH DE number 1069492 (Why is no real title available?)

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: Modeling the ASCB-D synchronization algorithm with SPIN: A case study

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