Fiacre

Fiacre: an intermediate language for model verification in the topcased environment

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun: Event algebra for transition systems composition application to timed automata (2018)
  2. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  3. Fares, Elie; Bodeveix, Jean-Paul; Filali-Amine, Mamoun; Garnacho, Manuel: An automatic technique for checking the simulation of timed systems (2013)
  4. Blouin, Dominique; Chillet, Daniel; Senn, Eric; Bilavarn, Sébastien; Bonamy, Robin; Samoyeau, Christian: AADL extension to model classical FPGA and FPGA embedded within a soc (2011) ioport
  5. Garavel, Hubert; Lang, Frédéric; Mateescu, Radu; Serwe, Wendelin: CADP 2010: a toolbox for the construction and analysis of distributed processes (2011)
  6. Lang, Frédéric; Salaün, Gwen; Hérilier, Rémi; Kramer, Jeff; Magee, Jeff: Translating FSP into LOTOS and networks of automata (2010)