Argonne National Lab., 1989.
Also in: IEEE Transactions on Computers, Vol. 38, No. 3, pages 366-376. 1989.
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 are used to illustrate the representation and the capabilities of the formal verification system.