Quantifier-Free Interpolation of a Theory of Arrays
Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio
Published in Logical methods in computer science (27.04.2012)
Published in Logical methods in computer science (27.04.2012)
Get full text
Journal Article
An extension of lazy abstraction with interpolation for programs with arrays
Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha
Published in Formal methods in system design (01.08.2014)
Published in Formal methods in system design (01.08.2014)
Get full text
Journal Article
METHOD FOR AUTOMATIC DERIVATION OF ATTACK PATHS IN A NETWORK
CARULLO MORENO, BRUTTOMESSO ROBERTO, CARCANO ANDREA, CAVALLARO CORTI ALESSANDRO
Year of Publication 17.10.2022
Get full text
Year of Publication 17.10.2022
Patent
Resolution proof transformation for compression and interpolation
Rollini, Simone Fulvio, Bruttomesso, Roberto, Sharygina, Natasha, Tsitovich, Aliaksei
Published in Formal methods in system design (01.08.2014)
Published in Formal methods in system design (01.08.2014)
Get full text
Journal Article
The MathSAT 4 SMT Solver: Tool Paper
Bruttomesso, Roberto, Cimatti, Alessandro, Franzén, Anders, Griggio, Alberto, Sebastiani, Roberto
Published in Computer Aided Verification (2008)
Published in Computer Aided Verification (2008)
Get full text
Book Chapter
The OpenSMT Solver
Bruttomesso, Roberto, Pek, Edgar, Sharygina, Natasha, Tsitovich, Aliaksei
Published in Tools and Algorithms for the Construction and Analysis of Systems (2010)
Published in Tools and Algorithms for the Construction and Analysis of Systems (2010)
Get full text
Book Chapter
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
Bruttomesso, Roberto, Cimatti, Alessandro, Franzen, Anders, Griggio, Alberto, Sebastiani, Roberto
Published in Annals of mathematics and artificial intelligence (01.02.2009)
Published in Annals of mathematics and artificial intelligence (01.02.2009)
Get full text
Journal Article
Efficient theory combination via boolean search
Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, Ranise, Silvio, van Rossum, Peter, Sebastiani, Roberto
Published in Information and computation (01.10.2006)
Published in Information and computation (01.10.2006)
Get full text
Journal Article
Flexible interpolation with local proof transformations
Bruttomesso, R, Rollini, S, Sharygina, N, Tsitovich, A
Published in 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2010)
Published in 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2010)
Get full text
Conference Proceeding
Method for automatic translation of ladder logic to a SMT-based model checker in a network
Bruttomesso, Roberto, Di Pinto, Alessandro, Carullo, Moreno, Carcano, Andrea
Year of Publication 20.02.2024
Get full text
Year of Publication 20.02.2024
Patent
Method for automatic derivation of attack paths in a network
Cavallaro Corti, Alessandro, Bruttomesso, Roberto, Carullo, Moreno, Carcano, Andrea
Year of Publication 28.11.2023
Get full text
Year of Publication 28.11.2023
Patent
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, van Rossum, Peter, Schulz, Stephan, Sebastiani, Roberto
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding