David L. Dill
13 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
EXE: Automatically generating inputs of death
Cristian Cadar and others (2008) · ACM Transactions on Information and System Security · Association for Computing Machinery
An Invitation to Formal Methods
Jonathan Peter Bowen and others (1996) · Computer · IEEE Computer Society
Acceptance of formal methods: Lessons from hardware design
David L. Dill and others (1996) · IEEE Computer
Better verification through symmetry
C. Norris Ip and others (1996) · Formal Methods in System Design · Springer Science+Business Media
Automatic verification of pipelined microprocessor control
Jerry R. Burch and others (1994) · Computer Aided Verification (CAV) · Springer
Self-timed logic using Current-Sensing Completion Detection (CSCD)
Mark E. Dean and others (1994) · The Journal of VLSI Signal Processing Systems for Signal Image and Video Technology · Springer Science+Business Media
Symbolic model checking: 10^20 states and beyond
Jerry R. Burch and others (1990) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Timing assumptions and verification of finite-state concurrent systems
David L. Dill (1989) · Lecture notes in computer science · Springer Science+Business Media
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dill (1989) · The MIT Press
Practicality of state-machine verification of speed-independent circuits
Steven M. Nowick and others (1989) · International Conference on Computer Aided Design
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dill (1988) · The MIT Press
Automatic Verification of Sequential Circuits Using Temporal Logic
Michael C. Browne and others (1986) · IEEE Transactions on Computers
Automatic verification of asynchronous circuits using temporal logic
David L. Dill and others (1985) · 1985 Chapel Hill Conference on VLSI · Computer Science Press