On Formal Specification of a Proof Tool

  title={On Formal Specification of a Proof Tool},
  author={Rob Arthan},
  booktitle={VDM Europe},
Tools and methods for the specification and design of computer systems are increasing in sophistication. Much current research and development is attempting to exploit this sophistication to improve the effectiveness of systems development practices. It is becoming feasible to offer much higher assurance than hitherto that systems meet critical requirements, e.g. concerning safety or security. Standards such as [7] are evolving to demand the use of formal specification and verification of… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

HOL:A Proof Generating System for Higher-Order Logic

  • Michael J.C. Gordon
  • VLSI Specification, Verification and Synthesis…
  • 1987
2 Excerpts

Similar Papers

Loading similar papers…