( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Flexible Interpolation for Efficient Model Checking.

, , и . MEMICS, том 9548 из Lecture Notes in Computer Science, стр. 11-22. Springer, (2015)

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.

Leonardo Estupiñán

Leonardo Finocchi

Leonardo Ebeling

Leonardo Dude

Leonardo Bianchi

 

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

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing., , , и . SAT, том 9710 из Lecture Notes in Computer Science, стр. 547-553. Springer, (2016)A Proof-Sensitive Approach for Small Propositional Interpolants., , , и . VSTTE, том 9593 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2015)SolTG: A CHC-Based Solidity Test Case Generator., , , , и . CAV (1), том 14681 из Lecture Notes in Computer Science, стр. 466-479. Springer, (2024)SolCMC: Solidity Compiler's Model Checker., , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 325-338. Springer, (2022)On Satisfiability of Polynomial Equations over Large Prime Fields., и . SMT, том 3185 из CEUR Workshop Proceedings, стр. 114-127. CEUR-WS.org, (2022)HiFrog: SMT-based Function Summarization for Software Verification., , , , , , и . TACAS (2), том 10206 из Lecture Notes in Computer Science, стр. 207-213. (2017)A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher., , , , и . CoRR, (2021)PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification., , , , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 683-693. Springer, (2013)LRA Interpolants from No Man's Land., , и . Haifa Verification Conference, том 10629 из Lecture Notes in Computer Science, стр. 195-210. Springer, (2017)Exploiting partial variable assignment in interpolation-based model checking., , , , , и . Formal Methods Syst. Des., 55 (1): 33-71 (2019)