model checking grid dirac mcrl2
Ver mais