Proof engineering in the large: formal verification of Pentium®4 floating-point divider.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 323
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2003 AND VI 4 AND IP 3
Results: 11
1
2
Formal verification of conflict detection algorithms.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 371
- By:
- Publication type:
- Article
3
Hierarchical formal verification using a hybrid tool.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 313
- By:
- Publication type:
- Article
4
Higher-level techniques for hardware description and synthesis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 271
- By:
- Publication type:
- Article
5
A framework for superscalar microprocessor correctness statements.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 298, doi. 10.1007/s10009-002-0087-0
- By:
- Publication type:
- Article
6
Using Lava to design and verify recursive and periodic sorters.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 349
- By:
- Publication type:
- Article
7
A framework for distributing object-oriented designs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 381, doi. 10.1007/s10009-002-0090-5
- By:
- Publication type:
- Article
8
Refinement-based formal verification with heterogeneous timing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 359, doi. 10.1007/s10009-002-0096-z
- By:
- Publication type:
- Article
9
Efficient debugging in a formal verification environment.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 335
- By:
- Publication type:
- Article
10
Platitudes and attitudes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 261, doi. 10.1007/s10009-002-0105-2
- By:
- Publication type:
- Article
11
Preface by the section editor.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 266
- By:
- Publication type:
- Article