2014 | VERICONISS

Verification of Concurrent Infinite State Systems  Axe :SciLexSujet : reachability, model checking and equivalence checking of concurrent infinite state systemsCoordinateur : Stefan GöllerEquipe: P1: Laboratoire Spécification et Vérification in Cachan…

Continue Reading2014 | VERICONISS