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

feature interactionformal methodPetri netspecificationtransition systemverification

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.
• Mathematical methods in system and software engineering

Cited in

(18)

• Formal methods in computer technologies
• Compositional analysis of Petri nets
• Formal methods and dependability. (Extended abstract)
• A case study using lightweight formalism to review an information system specification
• Analysis of behaviour of automata
• Reconstruction of automata by fragments of behaviour
• Formal methods: Importance, experience, and comparative analysis
• A quantitative completeness analysis for property sets
• Formal support for fault modelling and analysis
• Applying practical formal methods to the specification and analysis of security properties
• On a homomorphism of a component Petri net
• Feature-oriented description, formal methods, and DFC
• Compositional branching-time measurements
• Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
• Pragmatic Formal Specification of System Properties by Tables
• Automatic modeling and analysis of MSC-specified systems
• scientific article; zbMATH DE number 5038706 (Why is no real title available?)
• Analysis and synthesis of abstract automata

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)