Model construction and priority synthesis for simple interaction systems

DOI10.1007/978-3-642-20398-5_34MaRDI QIDQ3021171zbMATH OpenOpenAlexFDO

Authors Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Rueß

Publication date 22 July 2011

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-20398-5_34

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Symbolic implementation of connectors in BIP
• VCS: a verifier for component-based systems
• Parameterized systems in BIP: design and model checking
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• On the hardness of priority synthesis

Cites work

• Automata, logics, and infinite games. A guide to current research

Cited in

(4)

• Parameterized systems in BIP: design and model checking
• Symbolic implementation of connectors in BIP
• VCS: a verifier for component-based systems
• On the hardness of priority synthesis

Describes a project that uses

Uses Software

• Sat4j
• D-Finder

This page was built for publication: Model construction and priority synthesis for simple interaction systems

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