Login / Signup
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker.
Roberto Bruttomesso
Published in:
FMICS (2021)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
set theory
test suite
symbolic model checking
ai planning
specification language
training data
evolutionary algorithm
software architecture