Fixpoint swMATH ID: 33274 Software Authors: Bertrand Jeannet Description: Fixpoint is an OCaml library implementing a generic fixpoint engine. The interface is parameterized by the abstract domain on which fixpoint computations are performed. Homepage: http://pop-art.inrialpes.fr/people/bjeannet/bjeannet-forge/fixpoint/ Related Software: UMDES; SMACS; Apron Cited in: 2 Documents Cited by 4 Authors 2 Kalyon, Gabriel 2 Le Gall, Tristan 2 Marchand, Hervé 2 Massart, Thierry Jacques Cited in 1 Serial 2 Discrete Event Dynamic Systems Cited in 1 Field 2 Systems theory; control (93-XX) Citations by Year