In this thesis, we present a termination criterion for all of LTL properties using Bounded Model Checking. Our approach is based on converting the LTL formula to a Büchi automaton so as to reduce model checking to the verification of a fairness constraint. This reduction leads t…
"1" Result
Sort By: