Compositional Verification for Component-Based Systems and Application

DOI10.1007/978-3-540-88387-6_7zbMath1183.68364OpenAlexW2103672915MaRDI QIDQ3540064

Joseph Sifakis, Marius Bozga, Thanh-Hung Nguyen, Saddek Bensalem

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Rigorous development of component-based systems using component metadata and patterns ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Building distributed controllers for systems with priorities ⋮ Runtime Verification of Component-Based Systems ⋮ A Theory Agenda for Component-Based Design

Uses Software

• D-Finder
• InVeSt
• UNITY
• Omega

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• A Proof System for Communicating Sequential Processes
• Structural properties of petri nets

This page was built for publication: Compositional Verification for Component-Based Systems and Application