N-PAT: A Nested Model-Checker.

Hadrien Bride Cheng-Hao Cai Jin Song Dong Rajeev Goré Zhé Hóu Brendan P. Mahony Jim McCarthy

Published in: CoRR (2020)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
symbolic model checking
set theory
ai planning
specification language
search algorithm
mathematical morphology
orders of magnitude
integer programming