Verification of quantitative temporal properties of SDL specifications

DOI10.1007/3-540-48213-X_12MaRDI QIDQ2779763zbMATH OpenFDO

Authors Iulian Ober, Alain Kerbrat

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/20780182

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Model checking SDL with Spin
• scientific article; zbMATH DE number 1187962
• scientific article; zbMATH DE number 2084330
• Verifying large SDL specifications using model checking
• Timed extensions for SDL

Cited in

(11)

• On the testability of SDL specifications
• Model checking SDL with Spin
• Verifying large SDL specifications using model checking
• 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 1187962 (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?)
• Verification experiments on the MASCARA protocol
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Patterns for timed property specifications

This page was built for publication: Verification of quantitative temporal properties of SDL specifications

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