The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1989 vol.38)
pp: 366-376
ABSTRACT
A formal verification system based on the use of automated reasoning techniques is described to validate fault tolerance. An extended Petri net representation, called a flow net, is described together with the theorem-proving implementation of a rule-based system for manipulating system descriptions. Examples taken from the literature are used to illustrate the representation and the capabiliti
INDEX TERMS
fault tolerance; theorem-proving techniques; formal verification system; automated reasoning techniques; fault tolerant computing; theorem proving.
CITATION
J. Kljaich, Jr., B.T. Smith, A.S. Wojcik, "Formal Verification of Fault Tolerance Using Theorem-Proving Techniques", IEEE Transactions on Computers, vol.38, no. 3, pp. 366-376, March 1989, doi:10.1109/12.21123
67 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool