EasyChair Smart SlideDocs/Log in
Author: François Bobot

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

Visualization of Execution Traces in Colibri 2 SMT Solver

Visualization of Execution Traces in Colibri 2 SMT Solver

Christophe Junke and François Bobot

An SMT Theory for N-Indexed Sequences

An SMT Theory for N-Indexed Sequences

Hichem Rami Ait El Hara, François Bobot and Guillaume Bury

Verifying Models with Dolmen

Verifying Models with Dolmen

Guillaume Bury and François Bobot

Centralizing Equality Reasoning in MCSAT

Centralizing Equality Reasoning in MCSAT

François Bobot, Stéphane Graham-Lengrand, Bruno Marre and Guillaume Bury

Presentations in this collection: 4
Copyright © 2002 – 2025 EasyChair