Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
By Alexandre Donzé. International Conference on Computer Aided Verification, 2010
512 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture, Molecular Biology
View Paper: https://www.semanticscholar.org/paper/75bee81de425ecf71c1c15c03b0fb4c6400f88b1
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Alexandre Donzé
- Dorsa Sadigh
- Sriram Sankaranarayanan
- Sanjit A. Seshia
- Georgios Fainekos
- Ezio Bartocci
- Oded Maler
- Muhammad Akmal Shafique
In Hardware and Architecture
- Alexandre Donzé
- Dorsa Sadigh
- Georgios Fainekos
- Oded Maler
- Sriram Sankaranarayanan
- Ezio Bartocci
- Sanjit A. Seshia
- Muhammad Akmal Shafique
In Molecular Biology
- Ezio Bartocci
- Sriram Sankaranarayanan
- Georgios Fainekos
- Sanjit A. Seshia
- Muhammad Akmal Shafique
- Radu Grosu
- Florian Geissler
- Denise Ratasich
Citations in the corpus
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (2011, background): “However, BREACH currently does not support temporal logic falsification for arbitrary Simulink/Stateflow models.”
- Towards Verified Artificial Intelligence (2016, background): “[14]) can be useful in generating training and test data for ML components.”
- A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems (2018, methodology): “A popular technique to find bugs in Simulink/Stateflow models is falsification-based testing [71,73,126].”
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (2018, methodology): “The Breach requirement mining feature was used at the system level to induce pre-conditions for sub-modules, making it easier to apply successfully model-checking analysis at the module level.”