Fixpoint

Fixpoint is an OCaml library implementing a generic fixpoint engine. The interface is parameterized by the abstract domain on which fixpoint computations are performed.

Keywords for this software

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

References in zbMATH (referenced in 2 articles )

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

  1. Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry: Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (2012)
  2. Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry: Decentralized control of infinite systems (2011)