Executing behavioural definitions in Higher Order Logic
Over the past few years, computer scientists have been using formal verification techniques to show the correctness of digital systems. The verification process, however, is complicated and expensive. Even proofs of simple circuits can involve thousands of logical steps. Often it can be extremely di...
| Main Author: | |
|---|---|
| Published: |
University of Cambridge
1988
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.232795 |