Formal Dependability Modeling and Analysis: A Survey
DOI10.1007/978-3-319-42547-4_10zbMath1344.68200arXiv1606.06877OpenAlexW2962996889MaRDI QIDQ2817299
Waqar Ahmed, Osman Hasan, Sofiène Tahar
Publication date: 30 August 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.06877
theorem provingPetri netsMarkov chainhigher-order logicmodel checkingfault treereliability block diagrams
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal reliability analysis of combinational circuits using theorem proving
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- Dependability modeling and analysis of software systems specified with UML
- Probability and Statistics with Reliability, Queuing and Computer Science Applications
- Three Chapters of Measure Theory in Isabelle/HOL
- Towards Formal Fault Tree Analysis Using Theorem Proving
- A Brief Overview of HOL4
- Stochastic Petri net analysis of a replicated file system
- Formal Lifetime Reliability Analysis Using Continuous Random Variables
- Formal Reliability Analysis Using Theorem Proving
- Towards the Formal Reliability Analysis of Oil and Gas Pipelines
- On the Formalization of the Lebesgue Integration Theory in HOL