Verification of component-based system using model checking

MaRDI QIDQ3105095zbMATH OpenFDO

Authors Zsolt Borsi, László Kozma

Publication date 5 January 2012

zbMATH Keywords

component-based systemmodel checkingverification

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
• Systems and software verification. Model-checking techniques and tools
• Space effective model checking for component-interaction automata
• Truth -- a verification platform for concurrent systems
• Model-checking. A tutorial introduction

Cited in

(12)

• OntCheck: an ontology-driven static correctness checking tool for component-based models
• A framework for the functional verification of SystemC models
• Systems and software verification. Model-checking techniques and tools
• Space effective model checking for component-interaction automata
• Model, notation, and tools for verification of protocol-based components assembly
• Model-Based Testing of Environmental Conformance of Components
• On the model checking of a system consisting of many similar components
• Behavioural analysis of the enterprise \texttt{JavaBeans}\(^{TM}\) component architecture
• Applying software model checking techniques for behavioral UML models
• Algebraic Methodology and Software Technology
• An Approach to Modelling and Verification of Component Based Systems
• Model-based construction and verification of critical systems using composition and partial refinement

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)