Report copyright - Two Algorithms for Model Checking of Regular Linear ......Abstract This thesis studies the satisfiability and model checking problem for Regular Linear Temporal Logic (RLTL). In the
Please pass captcha verification before submit form