Leonardo Alt

Available identifiers

zbMath Open alt.leonardo-sMaRDI QIDQ2009610

List of research outcomes

Publication	Date of Publication	Type
Exploiting partial variable assignment in interpolation-based model checking	2019-11-29	Paper
OpenSMT2: an SMT solver for multi-core and cloud computing	2016-09-05	Paper
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification	2014-01-17	Paper
Exhaustive evaluation of radius 2 toggle rules for a variable-length cryptographic cellular automata-based model	2010-10-04	Paper

Research outcomes over time

This page was built for person: Leonardo Alt