Representing higher-order logic proofs in HOL.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 171
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1995 AND VI 38 AND IP 2
Results: 10
1
2
An engineering approach to formal digital system design.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 101
- By:
- Publication type:
- Article
3
Binary Decision Diagrams as a HOL derived rule.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 162
- By:
- Publication type:
- Article
4
Studying the ML module system in HOL.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 142
- By:
- Publication type:
- Article
5
LCF examples in HOL.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 121
- By:
- Publication type:
- Article
6
Mechanical verification of distributed algorithms in higher-order logic*.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 152
- By:
- Publication type:
- Article
7
Tracking design changes with formal machine-checked proof.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 91
- By:
- Publication type:
- Article
8
A mechanically verified verification condition generator.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 131
- By:
- Publication type:
- Article
9
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
10
Formal specification and verification techniques for RISC pipeline conflicts.
- Published in:
- Computer Journal, 1995, v. 38, n. 2, p. 111
- By:
- Publication type:
- Article