C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Concurrent Bounded Model Checking.
Quoc-Sang Phan
Pasquale Malacaria
Corina S. Pasareanu
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
hierarchical reinforcement learning
search algorithm
general purpose
orders of magnitude