Automatic modeling and analysis of MSC-specified systems

MaRDI QIDQ5472939zbMATH OpenFDO

Authors S. L. Kryvyi, Lyudmila Matvyeyeva, Mariya Lopatina

Publication date 19 June 2006

zbMATH Keywords

MSC languagePetri net

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 methods for analysis of discrete systems using a specification language
• Formal methods of analysis of system properties
• scientific article; zbMATH DE number 1646978
• Formal models for software development. Model checking, verification, analysis and simulation
• scientific article; zbMATH DE number 5262134

Cited in

(5)

• Formal methods for analysis of discrete systems using a specification language
• Formal methods of analysis of system properties
• Exploring the properties of MSC documents by translating them into Petri nets
• scientific article; zbMATH DE number 3889342 (Why is no real title available?)
• scientific article; zbMATH DE number 1951543 (Why is no real title available?)

This page was built for publication: Automatic modeling and analysis of MSC-specified systems

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