- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
AdaCore Internal Seminar - Monday November 19, 2012.
François Bobot of the ProVal team at INRIA, will come to the AdaCore Paris offices to give an introduction to the CVC4 SMT solver.
AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to firstname.lastname@example.org.
Dr José Ruiz gave this talk at yesterday's Embed with Linux conference in Lorient, France. The talk provides an overview of techniques to design and implement reliable embedded applications. The goal is to achieve safe and analyzable behavior by construction, including handling parallel multiprocessor systems in an efficient and predictable way. The means to attain this objective is to statically configure the application to run on embedded linux platforms, and then to use run-time support to enforce constraints imposed to the system.