First Call For Papers
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.
Topics Of Interest
- Theorem proving
- Model checking
- Real-time, hybrid and stochastic systems
- SAT and SMT solvers
- Symbolic execution
- 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
There are two categories of submissions:
- Regular paper: up to 15 pages, describing fully developed work and complete results. Papers can present theory, software engineering aspects, or case studies.
- Tool papers: up to 6 pages, describing an operational tool. The authors of accepted tool papers will give demonstrations of their tools in tool demo sessions. Tool papers should explain enhancements that have been done compared to previously published work. A tool paper does not need to present the theory behind the tool but can focus more on its features, and how it is used, with screen shots and examples.
All papers should be in English and describe original work that has not been published or submitted elsewhere.
Submissions will be fully reviewed and the symposium proceedings (including regular papers and tool papers) will appear as a volume in Lecture Notes of Computer Science. Papers must use the LNCS style, and be in pdf format.