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
- Automatisation : y aura-t-il un pilote dans l’avion ?
Séminaires
Nouvelles publications
- Publications
Récentes
- Joseph Sifakis: Autonomous Systems - An Architectural Characterization
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem: Predictability in Mixed-Criticality Systems
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
