Towards a Model-Checker for Circus.

Artur Oliveira Gomes Andrew Butterfield

Published in: FM (2019)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
test suite
formal specification
symbolic model checking
set theory
ai planning
test cases
specification language
dynamic programming
software architecture
binary decision diagrams