Formal methods of analysis of system properties

DOI10.1023/A:1024783021463zbMATH Open1099.68658OpenAlexW1495911618MaRDI QIDQ2487874FDOQ2487874

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

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

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)

Cited In (17)

• Title not available (Why is that?)
• Compositional analysis of Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Compositional branching-time measurements
• Formal methods: Importance, experience, and comparative analysis
• Title not available (Why is that?)
• 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)