Paolo Torrini, Paul Caspi, Pascal Raymond
From Fault-Trees to Safety Conditions (2007)
From Fault-Trees to Safety Conditions (2007)
TR-2007-6.pdf
Keywords: Fault trees, safety conditions, formal verification
Abstract:
Technical Reports
TR-2007-6.pdf
Keywords: Fault trees, safety conditions, formal verification
Abstract:
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
Séminaires
Nouvelles publications
- Publications
Récentes
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
