Space effective model checking for component-interaction automata

DOI10.4230/DROPS.MEMICS.2009.2354MaRDI QIDQ2917311zbMATH OpenOpenAlexFDO

Authors Nikola Beneš, Milan Křivánek, Filip Štefaňák

Publication date 28 September 2012

Full work available at URL https://dblp.uni-trier.de/db/conf/memics/memics2009.html#BenesKS09

zbMATH Keywords

component-based systemsmodel checkingpartial order reduction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Partial order reduction for state/event LTL with application to component-interaction automata
• On the model checking of a system consisting of many similar components
• Verification of component-based system using model checking
• Automata-based component composition analysis
• Partial Order Reduction for State/Event LTL

Cited in

(7)

• Partition refinement of component interaction automata
• Verification of component-based system using model checking
• On the model checking of a system consisting of many similar components
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• scientific article; zbMATH DE number 2087512 (Why is no real title available?)
• Partial order reduction for state/event LTL with application to component-interaction automata
• Partially Bounded Context-Aware Verification

Describes a project that uses

Uses Software

• DiVinE

This page was built for publication: Space effective model checking for component-interaction automata

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