Towards a Spatial Model Checker on GPU.

Laura Bussi Vincenzo Ciancia Fabio Gadducci

Published in: FORTE (2021)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
symbolic model checking
formal specification
ai planning
knowledge based systems
set theory
artificial intelligence
data structure
expert systems
evolutionary algorithm
test suite