Coherent modal transition systems refinement

DOI10.1016/J.JLAMP.2024.100954MaRDI QIDQ6197588zbMATH OpenOpenAlexFDO

Authors D. Basile, Maurice H. ter Beek, Alessandro Fantechi, S. Gnesi

Publication date 20 March 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2024.100954

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• 20 years of modal and mixed specifications.
• 30 years of modal transition systems: survey of extensions and analysis
• A Sound Observational Semantics for Modal Transition Systems
• EXPTIME-completeness of thorough refinement on modal transition systems
• Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Formal verification of parallel programs
• Modal I/O Automata for Interface and Product Line Theories
• Modal transition system encoding of featured transition systems
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• On determinism in modal transition systems
• On Modal Refinement and Consistency
• On refinements of Boolean and parametric modal transition systems
• Parametric modal transition systems
• Refinement checking on parametric modal transition systems

Cited in

(1)

• Advancing orchestration synthesis for contract automata

This page was built for publication: Coherent modal transition systems refinement

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