VCS: a verifier for component-based systems

DOI10.1007/978-3-319-02444-8_39MaRDI QIDQ5166713zbMATH OpenOpenAlexFDO

Authors Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng

Publication date 8 July 2014

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-319-02444-8_39

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Runtime verification of component-based systems
• Compositional Verification for Component-Based Systems and Application
• Formal Verification of Infinite-State BIP Models
• Model construction and priority synthesis for simple interaction systems
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

Cited in

(13)

• Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
• scientific article; zbMATH DE number 1629968 (Why is no real title available?)
• Model construction and priority synthesis for simple interaction systems
• CVPP: a tool set for compositional verification of control-flow safety properties
• Runtime verification of component-based systems
• Compositional Verification for Component-Based Systems and Application
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• VCS
• scientific article; zbMATH DE number 1955909 (Why is no real title available?)
• Parameterized systems in BIP: design and model checking
• scientific article; zbMATH DE number 1903374 (Why is no real title available?)
• Programming and verifying component ensembles
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: VCS: a verifier for component-based systems

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