Verification of component-based system using model checking

MaRDI QIDQ3105095zbMATH OpenFDO

Authors Zsolt Borsi, László Kozma

Publication date 5 January 2012

zbMATH Keywords

verificationmodel checkingcomponent-based system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the model checking of a system consisting of many similar components
• scientific article; zbMATH DE number 1633145
• Space effective model checking for component-interaction automata
• scientific article; zbMATH DE number 1390251
• scientific article; zbMATH DE number 1487860

Cited in

(12)

• OntCheck: an ontology-driven static correctness checking tool for component-based models
• A framework for the functional verification of SystemC models
• scientific article; zbMATH DE number 1633145 (Why is no real title available?)
• scientific article; zbMATH DE number 2089421 (Why is no real title available?)
• On the model checking of a system consisting of many similar components
• scientific article; zbMATH DE number 1744964 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Model-Based Testing of Environmental Conformance of Components
• An Approach to Modelling and Verification of Component Based Systems
• Model-based construction and verification of critical systems using composition and partial refinement
• Space effective model checking for component-interaction automata
• Applying software model checking techniques for behavioral UML models

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Verification of component-based system using model checking

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