Examens corriges

Quantitative Verification ? Exercise sheet 9

Quantitative Verification ? Exercise sheet 9. Exercise 9.1. Draw a Rabin automaton for the following formulae: ? G ¬a ? G F b. ? G (a ? F b).



Télécharger