Équipe CASYS - LOGICIELS


Accueil Membres Séminaire Stages et thèses Publications Logiciels
Images

Linear Algebra

Hybrid Systems

  • CoSyMa: Controller Synthesis using Multi-scale Abstractions
  • DynSys: A program for dynamical systems based on dynamic graphs
  • CASCADE: Computational Analysis and Simulation unsing Continuous Approximations for Differential Equations
  • SHOC: Optimal control of Hybrid Ordinary Differential Systems
  • MATISSE: Metrics for Approximate Transition Systems Simulation and Equivalence.
  • Dynamical systems
Differential equations
Arithmetic
  • Givaro: a generic library for finite fields and extensions
  • CRQ: Correctly Rounded Quadrature
  • PaloAlto: fixed precision arithmetic for cryptology
Semantics of programming languages
  • CoqEffects: Proving properties of programs involving computational effect