SDLcheck: A model checking tool

DOI10.1007/3-540-44585-4_36MaRDI QIDQ4551168zbMATH OpenFDO

Authors Hüsnü Yenigün, V. A. Levin

Publication date 4 September 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/2102/21020378

Mathematics Subject Classification ID

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

Recommendations

• Verifying large SDL specifications using model checking
• Model checking SDL with Spin
• Model Checking: From Tools to Theory
• scientific article; zbMATH DE number 2165695
• Model checking CTL*[DC]

Cited in

(3)

• scientific article; zbMATH DE number 2090156 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification

This page was built for publication: SDLcheck: A model checking tool

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