On the Scalability of the GPUexplore Explicit-State Model Checker.

Nathan Cassee Thomas Neele Anton Wijs

Published in: GaM@ETAPS (2017)

Keyphrases

model checker
model checking
state space
formal specification
formal verification
transition systems
genetic algorithm
relational databases
temporal logic
description language
formal methods
specification language