Formal methods of analysis of system properties

DOI10.1023/A:1024783021463zbMath1099.68658OpenAlexW1495911618MaRDI QIDQ2487874

L. Ye. Matveyeva, S. L. Kryvyi

Publication date: 12 August 2005

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

Full work available at URL: https://doi.org/10.1023/a:1024783021463

zbMATH Keywords

verificationPetri netspecificationtransition systemfeature interactionformal method

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)

Related Items (5)

Analysis of behaviour of automata ⋮ Reconstruction of automata by fragments of behaviour ⋮ On a homomorphism of a component Petri net ⋮ Analysis and synthesis of abstract automata ⋮ Compositional analysis of Petri nets

This page was built for publication: Formal methods of analysis of system properties