7th NASA Formal Methods Symposium

NFM 2015 April 27-29, 2015, Pasadena, California, USA Submission deadline: November 10, 2014 The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals […]

Read More

CPS 2014 starts

The CPS 2014 summer school starts this week with a very exciting program. All details can be found at: https://persyval-lab.org/en/summer-school/cps14 The CPS summer-school is organized by Université Joseph Fourier, Persyval-Lab, and NASA JPL.                  We gratefully thank Laboratoire d’Informatique de Grenoble for its valuable support.

Read More