, Require: Stack = X, Stack in , Stack out , Formula while Stack =

A. Julien-alexandre-dit-sandretto and . Chapoutot, DynIBEX: a Differential Constraint Library for Studying Dynamical Systems, Conference on Hybrid Systems: Computation and Control, 2016.

J. Sandretto, A. Chapoutot, and O. Mullier, Constraint-Based Framework for Reasoning with Differential Equations, Cyber-Physical Systems Security, pp.23-41, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01954764

A. Goldsztejn, O. Mullier, D. Eveillard, and H. Hosobe, Including ode based constraints in the standard CP framework, Principles and Practice of Constraint Programming, vol.6308, pp.221-235, 2010.

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.