( en | de | ru )

 

Disambiguation of "Dill, David L."

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Simulation with Approximate Values.

, , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 470-485. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David L Dowdey

David L Weakliem

David L Largent

Johann Dill

Gundar Dill

 

Other publications of authors with the same name

Timing analysis of asynchronous systems using time separation of events., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (8): 1061-1076 (1999)Automatic Formal Verification of Block Cipher Implementations., and . FMCAD, page 1-7. IEEE, (2008)What's Between Simulation and Formal Verification? (Extended Abstract).. DAC, page 328-329. ACM Press, (1998)Sequential Circuit Verification Using Symbolic Model Checking., , , and . DAC, page 46-51. IEEE Computer Society Press, (1990)Formal Verification and Biology.. ATVA, volume 5311 of Lecture Notes in Computer Science, page 3. Springer, (2008)Applying a Reusable Election Threat Model at the County Level., , and . EVT/WOTE, USENIX Association, (2011)Synthesizing Processes and Schedulers from Temporal Specifications., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 177-186. DIMACS/AMS, (1990)Automatic verification of speed-independent circuits with Petri net specifications., , and . ICCD, page 212-216. IEEE, (1989)Model checking Java programs (abstract only).. ISSTA, page 179. ACM, (2000)Fast and Reliable Formal Verification of Smart Contracts with the Move Prover., , , , , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 183-200. Springer, (2022)