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

Publication
1st International Workshop on Tools for Automatic Program AnalysiS (TAPAS 2010), SAS'10 satellite event, Perpignan, France
Avatar
Pierre Roux
Researcher at Onera

Related