Model checker execution reports.

Rodrigo Castaño Víctor A. Braberman Diego Garbervetsky Sebastián Uchitel

Published in: ASE (2017)

Keyphrases

model checker
model checking
formal verification
temporal logic
formal methods
description language
formal specification
symbolic model checking
set theory
test suite
ai planning
artificial intelligence
planning domains
linear programming
software engineering
object oriented
optimal solution