PHAVer is a tool for reachability analysis of continuous and hybrid systems based on Linear Hybrid Automata.
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Argosim et Verimag dans La Lettre Innovation du CNRS
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
Nouvelles publications
- Publications
Récentes
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
