3rd NASA Formal Methods Symposium

Eric | July 26, 2010

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels.

Important Dates

Submission deadline: December 19, 2010
Notification of acceptance/rejection: January 21, 2011
Final version due: February 18, 2011
Conference: April 18-20, 2011

Topics of Interest

  • Theorem proving
  • Model checking
  • Real-time, hybrid, stochastic systems
  • SAT and SMT solvers
  • Symbolic execution
  • Abstraction
  • Compositional verification
  • Program refinement
  • Static analysis
  • Dynamic analysis
  • Automated testing
  • Model-based testing
  • Model-based development
  • Fault protection
  • Security and intrusion detection
  • Application experiences
  • Modeling and specification formalisms
  • Requirements specification and analysis