Verifying large SDL specifications using model checking

DOI10.1007/3-540-48213-X_25MaRDI QIDQ2779795zbMATH OpenFDO

Authors Martin Steffen, Natalia Sidorova

Publication date 15 April 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2078/20780403

zbMATH Keywords

SDL model checking, abstraction, compositional, bottom-up verification, verification case study

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Model checking SDL with Spin
• Verification of quantitative temporal properties of SDL specifications
• Applying SDL specifications and tools to the verification of procedures
• scientific article; zbMATH DE number 2084330
• scientific article; zbMATH DE number 910719

Cited in

(8)

• On the testability of SDL specifications
• Verification of quantitative temporal properties of SDL specifications
• Applying SDL specifications and tools to the verification of procedures
• scientific article; zbMATH DE number 2084330 (Why is no real title available?)
• scientific article; zbMATH DE number 1982203 (Why is no real title available?)
• Verification experiments on the MASCARA protocol
• SDLcheck: A model checking tool
• scientific article; zbMATH DE number 2090156 (Why is no real title available?)

This page was built for publication: Verifying large SDL specifications using model checking

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