Publications
Export 88 results:
Author [ Title![(Desc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: F-alberti-r-bruttomesso-s-ghilardi-s-ranise-n-sharygina-2012-lazy-abstraction-interpolants-arrays is [Clear All Filters]
Modeling for Verification,
, Handbook of Model Checking, (2018)
A new Acceleration-based Combination Framework for Array Properties,
, FROCOS 2015, (2015)
The OpenSMT Solver,
, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)
Parallelization and modelling techniques for scalable SMT-based verification,
, Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
A Parametric Interpolation Framework for First-Order Theories,
, 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification,
, Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)
Picky CDCL: SMT-solving With Flexible Literal Selection,
, VSTTE, (2023)
PINCETTE - Validating Changes and Upgrades in Networked Software,
, 17th European Conference on Software Maintenance and Reengineering, (2013)
A Proof-Sensitive Approach for Small Propositional Interpolants,
, VSTTE 2015, (2015)
Property Directed Equivalence via Abstract Simulation,
, CAV 2016, (2016)
PVAIR: Partial Variable Assignment InterpolatoR,
, FASE2016, (2016)
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction,
, FM 24, 09/2024, (2024)
Resolution Proof Transformation for Compression and Interpolation,
, CoRR, Volume July 2013, (2013)
SAFARI: SMT-based Abstraction For Arrays with Interpolants,
, 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)
Scalable Abstractions for Efficient Security Checks,
, Lugano, p.164, (2011)
A Scalable Decision Procedure for Fixed-Width Bit-Vectors,
, International Conference of Computer Aided Design (ICCAD), San Jose (CA), (2009)
Search-Space Partitioning for Parallelizing SMT Solvers,
, SAT 2015, (2015)
Search-Space Partitioning for Parallelizing SMT Solvers,
, MEMICS2015, (2015)
An SMT-based verification framework for software systems handling arrays,
, Faculty of Informatics of the Università della Svizzera Italiana, 02/2015, Volume PhD, Lugano, p.188, (2015)
SMTS: Distributed, Visualized Constraint Solving,
, {LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, (2018)
SMT‑based verification of program changes through summary repair,
, Formal Methods in System Design, 05/2023, (2023)
SolCMC: Solidity Compiler’s Model Checker,
, CAV, Haifa, Isreal, (2022)
A Solicitous Approach to Smart Contract Verification,
, ACM Transactions on Privacy and Security, (2022)
SolTG: A CHC-based Solidity Test Case Generator,
, Computer Aided Verification, (2024)