Cover Image

Towards benchmarking of Solidity verification tools

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bartoletti, Massimo, Fioravanti, Fabio, Matricardi, Giulia, Pettinau, Roberto, Sainas, Franco
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
by: Pettinau, Roberto, et al.
Published: (2026)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
by: Pusceddu, Daniele, et al.
Published: (2024)

A theory of Lending Protocols in DeFi
by: Bartoletti, Massimo, et al.
Published: (2025)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
by: Cimatti, Alessandro, et al.
Published: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
by: De Angelis, Emanuele, et al.
Published: (2024)

On verification and constraint generation for families of similar hybrid automata
by: Sofronie-Stokkermans, Viorica, et al.
Published: (2025)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
by: Benerecetti, Massimo, et al.
Published: (2024)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)

OSVAuto: automatic proofs about functional specifications in OS verification
by: Wu, Yulun, et al.
Published: (2024)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

A SAT-based approach to rigorous verification of Bayesian networks
by: Stępka, Ignacy, et al.
Published: (2024)

Why does it fail? Explanation of verification failures
by: Eriksson, Lars-Henrik
Published: (2026)

StepProof: Step-by-step verification of natural language mathematical proofs
by: Hu, Xiaolin, et al.
Published: (2025)

Le chameau et le serpent rentrent dans un bar : vérification quasi-automatique de code OCaml en logique de séparation
by: Gros, Charlène, et al.
Published: (2024)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)

Proof Nets for PiL (Full Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

Planted-solution SAT and Ising benchmarks from integer factorization
by: Hen, Itay
Published: (2026)

TRAC: a tool for data-aware coordination (with an application to smart contracts)
by: Afonso, Joao, et al.
Published: (2024)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2025)

Modular Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2026)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

A Constraint Opinion Model
by: Gadducci, Fabio, et al.
Published: (2025)

Towards an Analysis of Proofs in Arithmetic
by: Leitsch, Alexander, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)

Logic Programming with Multiplicative Structures
by: Acclavio, Matteo, et al.
Published: (2024)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Towards Term-based Verification of Diagrammatic Equivalence
by: Cailler, Julie, et al.
Published: (2026)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
by: Giusti, Giulia, et al.
Published: (2025)

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
by: Altenkirch, Thorsten, et al.
Published: (2026)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

Towards a Proof System for Probabilistic Dynamic Logic
by: Johnsen, Einar Broch, et al.
Published: (2024)

Towards SMT Solver Stability via Input Normalization
by: Amrollahi, Daneshvar, et al.
Published: (2024)