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

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

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

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)