EasyChair Smart SlideUser guide
Author: Alessandro Gianola

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

First-Order Linear Temporal Logic for Testing Distributed Protocols

First-Order Linear Temporal Logic for Testing Distributed Protocols

José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha and Alessandro Gianola

Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems

Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems

Alessandro Gianola

Model Completeness, Covers and Superposition

Model Completeness, Covers and Superposition

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali and Andrey Rivkin

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair