Skip to main content Skip to main navigation


A Case Study in the Mechanical Verification of Fault Tolerance

Heiko Mantel; Felix Gärtner
In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000. International FLAIRS Conference (FLAIRS), Orlando, Pages 341-345, AAAI Press, 2000.