Model construction and priority synthesis for simple interaction systems

DOI10.1007/978-3-642-20398-5_34zbMATH Open1297.68056OpenAlexW1543342984MaRDI QIDQ3021171FDOQ3021171

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

Uses Software

• D-Finder
• Sat4j

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)