( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pono: A Flexible and Extensible SMT-Based Model Checker.

, , , , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 461-474. Springer, (2021)

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.

Martin Makait

Alexander Mann

Philipp Mann

Karl Mann

Andreas Mann

 

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

Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains., , , , , , , , , и 1 other автор(ы). ACM Trans. Reconfigurable Technol. Syst., 16 (2): 26:1-26:28 (июня 2023)Automating System Configuration., , , , , , и . FMCAD, стр. 102-111. IEEE, (2021)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 113-132. Springer, (2021)lazybvtoint at the SMT Competition 2020., , , , , и . CoRR, (2021)Pono: A Flexible and Extensible SMT-Based Model Checker., , , , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 461-474. Springer, (2021)Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications., , , , и . ACC, стр. 1446-1452. IEEE, (2023)Partial Order Reduction for Deep Bug Finding in Synchronous Hardware., и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 367-386. Springer, (2020)Rewrite-Based Decomposition of Signal Temporal Logic Specifications., , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 224-240. Springer, (2023)fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components., , , , , , , , , и 1 other автор(ы). CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 403-414. Springer, (2020)A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs., , , , , , , , , и . DATE, стр. 846-851. IEEE, (2020)