( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language.

, , , , , , и . FMCAD, стр. 65-74. IEEE, (2022)

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.

Colin Barrett

Clark Gorsler

Susanne Clark

Clark Nauschütz

Tim Clark

 

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

Towards Proving the Adversarial Robustness of Deep Neural Networks., , , , и . FVAV@iFM, том 257 из EPTCS, стр. 19-26. (2017)Witness Runs for Counter Machines., , и . FroCos, том 8152 из Lecture Notes in Computer Science, стр. 120-150. Springer, (2013)Solving Quantified Verification Conditions Using Satisfiability Modulo Theories., , и . CADE, том 4603 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2007)A Framework for Cooperating Decision Procedures., , и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 79-98. Springer, (2000)Reluplex: a calculus for reasoning about deep neural networks., , , , и . Formal Methods Syst. Des., 60 (1): 87-116 (февраля 2022)Gap-free Processor Verification by S2QED and Property Generation., , , , , , , и . DATE, стр. 526-531. IEEE, (2020)Politeness for the Theory of Algebraic Datatypes., , , , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 238-255. Springer, (2020)H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models., , , , , , , , , и 2 other автор(ы). CoRR, (2023)Tighter Abstract Queries in Neural Network Verification., , , и . CoRR, (2022)PEak: A Single Source of Truth for Hardware Design and Verification., , , , , , и . CoRR, (2023)