A case study in the mechanical verification of fault tolerance
From MaRDI portal
Publication:4783363
DOI10.1080/095281300454847zbMath1010.68170MaRDI QIDQ4783363
Felix C. Freiling, Heiko Mantel
Publication date: 4 December 2002
Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/095281300454847
Uses Software
Cites Work
- Rippling: A heuristic for guiding inductive proofs
- Defining liveness
- Axiomatising the logic of computer programming
- Transformation of programs for fault-tolerance
- A compositional framework for fault tolerance by specification transformation
- Coloring terms to control equational reasoning
- The B-Book
- Unnamed Item