Login / Signup
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