SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib

Pierre Roux, Remi Delmas, Pierre-Loic Garoche
September 2010
Cite DOI
Type
Conference paper
Publication
1st International Workshop on Tools for Automatic Program AnalysiS (TAPAS 2010), SAS'10 satellite event, Perpignan, France
"workshop" "own"
Pierre Roux
Pierre Roux
Researcher at Onera
Remi Delmas
Remi Delmas
Researcher at ONERA

Related