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
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry: Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (2012)
- Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry: Decentralized control of infinite systems (2011)