A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing

Stefan D. Bruda, Sunita Singh, A. F. M. Nokib Uddin +2

The two major systems of formal verification are model checking and algebraic model-based testing. Model checking is based on some form of temporal logic such as linear temporal lo…