Model Checking Software

DOI10.1007/11691617zbMath1178.68336OpenAlexW2480617525MaRDI QIDQ5899046

Stefan Leue, Alberto Lluch Lafuente, Dragan Bošnački

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691617

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models ⋮ Partial order reduction for state/event LTL with application to component-interaction automata ⋮ Partial Order Reduction for State/Event LTL ⋮ Optimising the ProB model checker for B using partial order reduction

Uses Software

• SymmSpin

This page was built for publication: Model Checking Software