( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving quantified verification conditions using satisfiability modulo theories.

, , и . Ann. Math. Artif. Intell., 55 (1-2): 101-122 (2009)

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

 

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

A Framework for Cooperating Decision Procedures., , и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 79-98. Springer, (2000)Solving Quantified Verification Conditions Using Satisfiability Modulo Theories., , и . CADE, том 4603 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2007)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)Witness Runs for Counter Machines., , и . FroCos, том 8152 из Lecture Notes in Computer Science, стр. 120-150. Springer, (2013)Towards Proving the Adversarial Robustness of Deep Neural Networks., , , , и . FVAV@iFM, том 257 из EPTCS, стр. 19-26. (2017)Reluplex: a calculus for reasoning about deep neural networks., , , , и . Formal Methods Syst. Des., 60 (1): 87-116 (февраля 2022)Synthesising Programs with Non-trivial Constants., , , , , , , , и . J. Autom. Reason., 67 (2): 19 (июня 2023)Algorithms for Verifying Deep Neural Networks., , , , , и . Found. Trends Optim., 4 (3-4): 244-404 (2021)H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models., , , , , , , , , и 2 other автор(ы). CoRR, (2023)