Formal methods of analysis of system properties

DOI10.1023/A:1024783021463MaRDI QIDQ2487874zbMATH OpenOpenAlexFDO

Authors 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

verificationspecificationPetri netformal methodfeature interactiontransition system

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

• Overview of formal methods
• Formal methods: Importance, experience, and comparative analysis
• Automatic modeling and analysis of MSC-specified systems
• Specification of software systems.
• scientific article; zbMATH DE number 1088216

Cited in

(17)

• scientific article; zbMATH DE number 1612490 (Why is no real title available?)
• Compositional analysis of Petri nets
• scientific article; zbMATH DE number 2033525 (Why is no real title available?)
• scientific article; zbMATH DE number 2100576 (Why is no real title available?)
• A quantitative completeness analysis for property sets
• A case study using lightweight formalism to review an information system specification
• Analysis and synthesis of abstract automata
• Pragmatic Formal Specification of System Properties by Tables
• scientific article; zbMATH DE number 1746671 (Why is no real title available?)
• Formal methods: Importance, experience, and comparative analysis
• Compositional branching-time measurements
• scientific article; zbMATH DE number 5038706 (Why is no real title available?)
• On a homomorphism of a component Petri net
• Analysis of behaviour of automata
• Automatic modeling and analysis of MSC-specified systems
• Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
• Reconstruction of automata by fragments of behaviour

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

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