![[US]](imgs/us_flag.png)
![[FR]](imgs/fr_flag.png)
News
- Feria-SVF seminar in Toulouse: Séminaire vérification de Toulouse
- Proposal for two Master level internships in Static Analysis for 2011 (written in french, but english speakers welcomed): Native handling of closure operators in SAT or PseudoBool solvers and Proposal of a SMT-lib theory and associate tools to handle finite set
