Modal Interface Automata

DOI10.1007/978-3-642-33475-7_19MaRDI QIDQ5891780zbMATH OpenOpenAlexFDO

Authors Gerald Lüttgen, Walter Vogler

Publication date 21 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33475-7_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) 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

• Modal interface automata
• ACTL for modal interface automata
• Modal scenarios as automata
• Modal I/O Automata for Interface and Product Line Theories
• Automated Technology for Verification and Analysis
• Nondeterministic modal interfaces
• Nondeterministic modal interfaces
• An algebraic theory of interface automata

Cited in

(24)

• Generalized interface automata with multicast synchronization
• A linear-time branching-time perspective on interface automata
• ACTL for modal interface automata
• A generalised theory of interface automata, component compatibility and error
• Nondeterministic modal interfaces
• Interface automata for shared memory
• A generalised theory of interface automata, component compatibility and error
• Extending interface automata with Z notation
• A modal interface theory for component-based design
• A modal interface theory with data constraints
• A pre-congruence format for XY-simulation
• On weak modal compatibility, refinement, and the MIO workbench
• Fault-free refinements for interface automata
• Combining partial specifications using alternating interface automata
• Nondeterministic modal interfaces
• Model-based testing
• Synchronous interfaces and assume/guarantee contracts
• Modal specification theories for component-based design
• Interface automata with complex actions: limiting interleaving in interface automata
• Interface theories for concurrency and data
• Modal I/O Automata for Interface and Product Line Theories
• Modal interface automata
• From interface automata to hypercontracts
• Interface automata for shared memory

This page was built for publication: Modal Interface Automata

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