Learn More
Note: this paper is now rather old. A more uptodate treatment of similar topics can be found in \Formal Veriication for Fault-Tolerant Architectures: Prolegomena to the Design of PVS" Abstract Formal speciication and veriication use mathematical techniques to help document, specify, design, analyze, or certify computer software and hardware.(More)
  • 1