EasyChair Smart SlideDocs/Log in
Author: Marco Roveri

This page shows all presentations of this author published in EasyChair Smart Slide.

Certifying Proofs for LTL Model Checking

Certifying Proofs for LTL Model Checking

Alberto Griggio, Marco Roveri and Stefano Tonetta

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri and Roberto Sebastiani

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair