Model checking conformance with scenario-based specifications .

DOI10.1007/B11831MaRDI QIDQ5900688zbMATH OpenOpenAlexFDO

Authors Marcelo Glusman, Shmuel Katz

Publication date 20 April 2010

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of scenario-based specifications using templates
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 176728
• Checking conformance for time-constrained scenario-based specifications
• Model checking time-constrained scenario-based specifications

Cited in

(4)

• Implied scenario detection in the presence of behaviour constraints
• Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
• Theoretical Aspects of Computing - ICTAC 2004
• FM 2005: Formal Methods

Describes a project that uses

Uses Software

• Cadence SMV

This page was built for publication: Model checking conformance with scenario-based specifications .

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