Skip to Main content Skip to Navigation

Search by documents

inria-00262442v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixPatrick FarailM 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
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⟩