Coherent modal transition systems refinement

DOI10.1016/j.jlamp.2024.100954OpenAlexW4392267011MaRDI QIDQ6197588

Davide Basile, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi

Publication date: 20 March 2024

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

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• EXPTIME-completeness of thorough refinement on modal transition systems
• On determinism in 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
• Refinement checking on parametric modal transition systems
• Modal transition system encoding of featured transition systems
• On Refinements of Boolean and Parametric Modal Transition Systems
• Parametric Modal Transition Systems
• A Sound Observational Semantics for Modal Transition Systems
• On Modal Refinement and Consistency
• Formal verification of parallel programs
• 30 Years of Modal Transition Systems: Survey of Extensions and Analysis
• Modal I/O Automata for Interface and Product Line Theories
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints

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