Formal verification of fault tolerance using theorem-proving techniques
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...
Saved in:
Published in | IEEE transactions on computers Vol. 38; no. 3; pp. 366 - 376 |
---|---|
Main Authors | , , |
Format | Journal Article |
Language | English |
Published |
New York, NY
IEEE
01.03.1989
Institute of Electrical and Electronics Engineers |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Be the first to leave a comment!