PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions

Samir Chouali, Jacques Julliand, Pierre-Alain Masson +1

We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified through…