( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Accurate Smart Contract Verification Through Direct Modelling.

, , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2020)

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.

Matteo Garavoglia

Marco Matteo

Matteo Bertini

Matteo Gabba

Matteo Rini

 

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

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp., , , , , , , и . ICST, стр. 267-278. IEEE, (2022)A Cooperative Parallelization Approach for Property-Directed k-Induction., , , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 270-292. Springer, (2020)Clause Sharing and Partitioning for Cloud-Based SMT Solving., , и . ATVA, том 9938 из Lecture Notes in Computer Science, стр. 428-443. (2016)OpenSMT2: An SMT Solver for Multi-core and Cloud Computing., , , и . SAT, том 9710 из Lecture Notes in Computer Science, стр. 547-553. Springer, (2016)Search-Space Partitioning for Parallelizing SMT Solvers., , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 369-386. Springer, (2015)Accurate Smart Contract Verification Through Direct Modelling., , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2020)Visualising SMT-Based Parallel Constraint Solving., , , и . SMT, том 1889 из CEUR Workshop Proceedings, стр. 40-49. CEUR-WS.org, (2017)A Solicitous Approach to Smart Contract Verification., , , , , и . ACM Trans. Priv. Secur., 26 (2): 15:1-15:28 (мая 2023)Computing Exact Worst-Case Gas Consumption for Smart Contracts., , , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 450-465. Springer, (2018)Lookahead in Partitioning SMT., , и . FMCAD, стр. 271-279. IEEE, (2021)