David Cyrluk

According to our database, David Cyrluk authored at least 10 papers between 1988 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Systematic Formal Verification of Interpreters.

David Cyrluk, John M. Rushby, Mandayam K. Srivas

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Hardware Verification Using PVS.

Mandayam K. Srivas, Harald Rueß, David Cyrluk

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.

David Cyrluk, M. Oliver Möller, Harald Rueß

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Inverting the Abstraction Mapping: A Methodology for Hardware Verification.

David Cyrluk

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

On Shostak's Decision Procedure for Combinations of Theories.

David Cyrluk, Patrick Lincoln, Natarajan Shankar

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification.

David Cyrluk, Mandayam K. Srivas

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Effective Theorem Proving for Hardware Verification.

David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas

Proceedings of the Theorem Provers in Circuit Design, 1994

Ground Temporal Logic: A Logic for Hardware Verification.

David Cyrluk, Paliath Narendran

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1988

A Multi-Level Geometric Reasoning System for Vision.

Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen

Artif. Intell., 1988

GEOMETER: A Theorem Prover for Algebraic Geometry.

David Cyrluk, Richard M. Harris, Deepak Kapur

Proceedings of the 9th International Conference on Automated Deduction, 1988