Space Effective Model Checking for Component-Interaction Automata

DOI10.4230/DROPS.MEMICS.2009.2354zbMath1247.68159OpenAlexW1576784275MaRDI QIDQ2917311

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

Publication date: 28 September 2012

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

zbMATH Keywords

model checkingpartial order reductioncomponent-based systems

Mathematics Subject Classification ID

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

Related Items (1)

Partial order reduction for state/event LTL with application to component-interaction automata

Uses Software

• DiVinE

This page was built for publication: Space Effective Model Checking for Component-Interaction Automata