Formal methods for analysis of discrete systems using a specification language

DOI10.1007/S10559-009-9121-5MaRDI QIDQ1040418zbMATH OpenOpenAlexFDO

Authors S. L. Kryvyi, A. V. Chugayenko

Publication date 24 November 2009

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-009-9121-5

zbMATH Keywords

verificationPetri netsMSC

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Exploring the properties of MSC documents by translating them into Petri nets
• Automatic modeling and analysis of MSC-specified systems
• scientific article; zbMATH DE number 5201493
• scientific article; zbMATH DE number 1515849
• The theory of message sequence charts

Cites work

• scientific article; zbMATH DE number 5201493 (Why is no real title available?)
• Algorithms for solving systems of linear Diophantine equations in integer domains
• Automatic modeling and analysis of MSC-specified systems

Cited in

(8)

• Formal methods for discrete-time dynamical systems
• Formal analysis of piecewise affine systems through formula-guided refinement
• Finite verification of the characteristic specification of discrete systems
• Discussion on: ``Formal specification method for systems automation
• Exploring the properties of MSC documents by translating them into Petri nets
• Automatic modeling and analysis of MSC-specified systems
• Language-oriented formal analysis: a case study on protocols and distributed systems
• Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

This page was built for publication: Formal methods for analysis of discrete systems using a specification language

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