( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Generalization of Shostak's Method for Combining Decision Procedures.

, , и . FroCoS, том 2309 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2002)

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.

David L Dowdey

David L Weakliem

David L Largent

Gundar Dill

Paul Dill

 

Другие публикации лиц с тем же именем

Towards program optimization through automated analysis of numerical precision., , , , и . CGO, стр. 230-237. ACM, (2010)The Marabou Framework for Verification and Analysis of Deep Neural Networks., , , , , , , , , и 3 other автор(ы). CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 443-452. Springer, (2019)Automatic Generation of Invariants in Processor Verification., , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 377-388. Springer, (1996)Timing analysis of asynchronous systems using time separation of events., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (8): 1061-1076 (1999)What's Between Simulation and Formal Verification? (Extended Abstract).. DAC, стр. 328-329. ACM Press, (1998)Sequential Circuit Verification Using Symbolic Model Checking., , , и . DAC, стр. 46-51. IEEE Computer Society Press, (1990)Automatic Formal Verification of Block Cipher Implementations., и . FMCAD, стр. 1-7. IEEE, (2008)Are Cells Asynchronous Circuits? - (Invited Talk).. VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 1. Springer, (2011)Self-Consistency Checking., , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 159-171. Springer, (1996)Monitor-Based Formal Specification of PCI., , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 335-353. Springer, (2000)