Searching for authors named David Cyrluk – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Inverting the Abstraction Mapping: A Methodology for Hardware Verification
- …Inverting the Abstraction Mapping: A Methodology for Hardware Verification David Cyrluk ? Dept…
- Cited by 15 (1 self) – Add To MetaCart
-
Microprocessor Verification in PVS - A Methodology and Simple Example
- …Microprocessor Verification in PVS A Methodology and Simple Example David Cyrluk February 10…
- Cited by 38 (4 self) – Add To MetaCart
-
Ground Temporal Logic: A Logic for Hardware Verification
- …). David Cyrluk Dept. of Computer Science Stanford University and Computer Science Laboratory SRI…
- Cited by 6 (0 self) – Add To MetaCart
-
Systematic Formal Verification of Interpreters\Lambda
- …), Hiroshima, Japan, November 1997, pp. 140-149. Systematic Formal Verification of Interpreters\Lambda David…
- Add To MetaCart
-
Systematic Formal Verification of Interpreters
- …), Hiroshima, Japan, November 1997, pp. 140--149. Systematic Formal Verification of Interpreters David Cyrluk…
- Cited by 5 (0 self) – Add To MetaCart
-
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (Extended Abstract)
- …, Submitted) David Cyrluk ? , Oliver Moller ?? , Harald Rue ?? ? Computer Science Laboratory…
- Cited by 20 (2 self) – Add To MetaCart
-
On Shostak's Decision Procedure for Combinations of Theories
- …On Shostak's Decision Procedure for Combinations of Theories ? To be presented at CADE '96 David…
- Cited by 49 (8 self) – Add To MetaCart
-
Inverting the Abstraction Mapping: A Methodology for Hardware Verification
- … at Formal Methods in Computer Aided Design (FMCAD'96) Palo Alto, CA, November 1996.) David Cyrluk ? Dept…
- Add To MetaCart
-
References
- …Acknowledgements. Friedrich von Henke (SRI, currently at U. of Ulm, Germany), David Cyrluk…
- Add To MetaCart
Showing 1 through 9.
