Login / Signup
A spatial model checker in GPU (extended version).
Laura Bussi
Vincenzo Ciancia
Fabio Gadducci
Published in:
CoRR (2020)
Keyphrases
</>
model checker
model checking
formal methods
temporal logic
formal verification
description language
formal specification
symbolic model checking
artificial intelligence
test suite
state space
set theory
image analysis
domain independent
ai planning
orders of magnitude
data analysis