Works matching IS 00104620 AND DT 1995 AND VI 38 AND IP 2
Results: 10
Representing higher-order logic proofs in HOL.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 171
- By:
- Publication type:
- Article
An engineering approach to formal digital system design.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 101
- By:
- Publication type:
- Article
Binary Decision Diagrams as a HOL derived rule.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 162
- By:
- Publication type:
- Article
Studying the ML module system in HOL.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 142
- By:
- Publication type:
- Article
LCF examples in HOL.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 121
- By:
- Publication type:
- Article
Mechanical verification of distributed algorithms in higher-order logic*.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 152
- By:
- Publication type:
- Article
Tracking design changes with formal machine-checked proof.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 91
- By:
- Publication type:
- Article
A mechanically verified verification condition generator.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 131
- By:
- Publication type:
- Article
Special issue editorial. Higher order logic theorem proving and its application.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 89
- By:
- Publication type:
- Article
Formal specification and verification techniques for RISC pipeline conflicts.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 111
- By:
- Publication type:
- Article