C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing.
Stefan D. Bruda
Sunita Singh
A. F. M. Nokib Uddin
Zhiyu Zhang
Rui Zuo
Published in:
CoRR (2019)
Keyphrases
</>
computation tree logic
model checking
temporal logic
bounded model checking
formal verification
software engineering
test cases
cooperative