Skip to Main content Skip to Navigation

hal-01917492v1  Book sections
Fabrice KordonHubert GaravelLom Messan HillahEmmanuel Paviot-AdetLoïg Jezequel et al.  MCC’2017 - The Seventh Model Checking Contest
Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
inria-00262442v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixPatrick FarailMamoun FilaliHubert Garavel et al.  Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p