Optimising the ProB model checker for B using partial order reduction. (English) Zbl 1342.68208
MSC:
68Q60
Found 5 Documents (Results 1–5)
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. (English) Zbl 1264.68052
Partial order reduction for state/event LTL with application to component-interaction automata. (English) Zbl 1220.68048
Space effective model checking for component-interaction automata. (English) Zbl 1247.68159
Hlinený, Petr (ed.) et al., Annual doctoral workshop on mathematical and engineering methods in computer science (MEMICS’09). Selected papers based on the presentations at the workshop, November 13-15, 2009, Znojmo, Czech Republic. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-15-6). OASIcs – OpenAccess Series in Informatics 13, 78-85, electronic only (2009).
The ComBack method revisited: caching strategies and extension with delayed duplicate detection. (English) Zbl 1266.68048
Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency III. Berlin: Springer (ISBN 978-3-642-04854-8/pbk). Lecture Notes in Computer Science 5800. Journal Subline, 189-215 (2009).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (2)
all
top 5
Author
- Beneš, Nikola (2)
- Brim, Luboš (2)
- Barnat, Jiří (1)
- Buhnova, B. (1)
- Černá, Ivana (1)
- Dobrikov, Ivaylo (1)
- Evangelista, Sami (1)
- Kristensen, Lars Michael (1)
- Křivánek, Milan (1)
- Leuschel, Michael (1)
- Ročkai, Petr (1)
- Sochor, Jiri (1)
- Štefaňák, Filip (1)
- Vařeková, Pavlina (1)
- Westergaard, Michael (1)
Serial
Main Field
- 68-XX (5)
