Pvs: a Prototype Veriication System

  title={Pvs: a Prototype Veriication System},
  author={Friedrich W. von Henke and David Cyrluk and Mark Moriconi and Robert S. Boyer and James B. Saxe and Stephen J. Garland and John V. Guttag},
5] John Rushby. F ormal speciication and veriication of a fault-masking and transient-recovery model for digital ight-control systems. In Vytopil 10], pages 237{257. 6] John Rushby a n d F riedrich v on Henke. Formal veriication of algorithms for critical systems. 8] Natarajan Shankar. Mechanical veriication of a generalized protocol for Byzantine fault-tolerant clock synchronization. In Vytopil 10], pages 217{236. 6 Proof Strategies. It is useful to be able to compose frequently used patterns… CONTINUE READING


Publications referenced by this paper.

Using transformations and veri cation in circuit design

  • James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
  • Technical Report 78, DEC Systems Research
  • 1991
1 Excerpt

Similar Papers

Loading similar papers…