受强制性开放获取政策约束的文章 - Matteo Marescotti了解详情
可在其他位置公开访问的文章：10 篇
Computing exact worst-case gas consumption for smart contracts
M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
强制性开放获取政策： Swiss National Science Foundation
OpenSMT2: An SMT solver for multi-core and cloud computing
AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
强制性开放获取政策： Swiss National Science Foundation
Accurate smart contract verification through direct modelling
M Marescotti, R Otoni, L Alt, P Eugster, AEJ Hyvärinen, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
强制性开放获取政策： Swiss National Science Foundation, European Commission
Search-space partitioning for parallelizing SMT solvers
AEJ Hyvärinen, M Marescotti, N Sharygina
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
强制性开放获取政策： Swiss National Science Foundation
Designing parallel PDR
M Marescotti, A Gurfinkel, AEJ Hyvärinen, N Sharygina
2017 Formal Methods in Computer Aided Design (FMCAD), 156-163, 2017
强制性开放获取政策： Swiss National Science Foundation
Clause sharing and partitioning for cloud-based SMT solving
M Marescotti, AEJ Hyvärinen, N Sharygina
Automated Technology for Verification and Analysis: 14th International …, 2016
强制性开放获取政策： Swiss National Science Foundation
A Solicitous Approach to Smart Contract Verification
R Otoni, M Marescotti, L Alt, P Eugster, A Hyvärinen, N Sharygina
ACM Transactions on Privacy and Security 26 (2), 1-28, 2023
强制性开放获取政策： Swiss National Science Foundation, European Commission
SMTS: Distributed, Visualized Constraint Solving.
M Marescotti, AEJ Hyvärinen, N Sharygina
LPAR, 534-542, 2018
强制性开放获取政策： Swiss National Science Foundation
A cooperative parallelization approach for property-directed k-induction
M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
强制性开放获取政策： Swiss National Science Foundation
Lookahead-Based SMT Solving.
AEJ Hyvärinen, M Marescotti, P Sadigova, H Chockler, N Sharygina
LPAR, 418-434, 2018
强制性开放获取政策： Swiss National Science Foundation
出版信息和资助信息由计算机程序自动确定