SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

Klaus Dräger Andrey Kupriyanov Bernd Finkbeiner Heike Wehrheim

Published in: TACAS (2010)

Keyphrases

concurrent systems
model checker
model checking
temporal logic
formal specification
formal verification
transition systems
formal methods
symbolic model checking
finite state
genetic algorithm
search strategies
reverse engineering
specification language