Tag: Jonathan Laurent

AN INSIGHT INTO SMT-BASED MODEL CHECKING TECHNIQUES FOR FORMAL SOFTWARE VERIFICATION Jonathan Laurent, NIA Visitor from École Normale Supérieure August 11, 2014, 10:00 am, NIA, Rm 101 Seminar Video Abstract: Highly automated proof techniques are a necessary step for the widespread adoption of formal methods in the software industry. Moreover, it could provide a partial…