Travelled to:1 × Israel
3 × USA
Collaborated with:P.Narendran M.O.Möller H.Rueß P.Lincoln N.Shankar R.M.Harris D.Kapur
Talks about:procedur (2) theori (2) logic (2) decis (2) geometri (1) theorem (1) shostak (1) hardwar (1) algebra (1) vector (1)
Person: David Cyrluk
DBLP: Cyrluk:David
Contributed to:
1997
199619941988Wrote 4 papers:
- CAV-1997-CyrlukMR #formal method #performance
- An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.
- CADE-1996-CyrlukLS #on the
- On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.
- CAV-1994-CyrlukN #hardware #logic #verification
- Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.
- CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving
- GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.