Login / Signup
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Igor Konnov
Marijana Lazic
Ilina Stoilkovska
Josef Widder
Published in:
Log. Methods Comput. Sci. (2023)
Keyphrases
</>
model checker
model checking
formal verification
finite state
formal methods
temporal logic
description language
formal specification
symbolic model checking
test suite
ai planning
set theory
epistemic logic
specification language
planning domains
search algorithm
web services
error rate