title = {Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems },
author = {Donz\'e, Alexandre},
year = {2010},
booktitle = {CAV},
pages = {167-170},
team = {TEMPO},
}
Home > Verimag > Publications
bibtex
@inproceedings{Don10,
title = {Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems },
author = {Donz\'e, Alexandre},
year = {2010},
booktitle = {CAV},
pages = {167-170},
team = {TEMPO},
}
title = {Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems },
author = {Donz\'e, Alexandre},
year = {2010},
booktitle = {CAV},
pages = {167-170},
team = {TEMPO},
}
Browsing
News
- Conferences
- November 18-21, 2020 SSS 2020
Seminars
New publications
- Recent Publications
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
- Maximilien Dupont De Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza: Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
- Mohammed Foughali, Pierre-Emmanuel Hladik: Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
