Verification of scenario-based specifications using templates

MaRDI QIDQ2849550zbMATH OpenFDO

Authors Girish Keshav Palshikar, Purandar Bhaduri

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610405323X

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)

Recommendations

• Formal techniques for analysing scenarios using message sequence charts
• Foundations of Software Science and Computation Structures
• Adding time to scenarios
• Realizability and verification of MSC graphs
• scientific article; zbMATH DE number 1754635

Cited in

(9)

• SMT-based scenario verification for hybrid systems
• Formal techniques for analysing scenarios using message sequence charts
• Implied scenario detection in the presence of behaviour constraints
• Early verification of computer systems temporal properties
• scientific article; zbMATH DE number 1956495 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• An Integrated Framework for Scenarios and State Machines
• FM 2005: Formal Methods
• Model checking conformance with scenario-based specifications .

This page was built for publication: Verification of scenario-based specifications using templates

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