( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.

, , , , , , и . CAV (2), том 10427 из Lecture Notes in Computer Science, стр. 126-133. Springer, (2017)

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

 

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

Politeness for the Theory of Algebraic Datatypes., , , , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 238-255. Springer, (2020)Gap-free Processor Verification by S2QED and Property Generation., , , , , , , и . DATE, стр. 526-531. IEEE, (2020)lazybvtoint at the SMT Competition 2020., , , , , и . CoRR, (2021)Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness., , и . CADE, том 14132 из Lecture Notes in Computer Science, стр. 522-541. Springer, (2023)Partial Order Reduction for Deep Bug Finding in Synchronous Hardware., и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 367-386. Springer, (2020)EMME: A Formal Tool for ECMAScript Memory Model Evaluation., , , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 55-71. Springer, (2018)Reluplex: a calculus for reasoning about deep neural networks., , , , и . Formal Methods Syst. Des., 60 (1): 87-116 (февраля 2022)Satisfiability Modulo Theories., и . Handbook of Model Checking, Springer, (2018)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 340-355. Springer, (2015)Pono: A Flexible and Extensible SMT-Based Model Checker., , , , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 461-474. Springer, (2021)