Cargando…
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The to...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Edición: | 1st ed. 2014. |
| Colección: | Programming and Software Engineering,
8430 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Model checking
- Theorem proving
- Static analysis
- Model-based development
- Runtime monitoring
- Formal approaches to fault tolerance
- Applications of formal methods to aerospace systems
- Formal analysis of cyber-physical systems, including hybrid and embedded systems
- Formal methods in systems engineering
- Modeling
- Requirements and specifications
- Requirements generation
- Specification debugging
- Formal validation of specifications
- Use of formal methods in safety cases
- Use of formal methods in human-machine interaction analysis
- Formal methods for parallel hardware implementations
- Use of formal methods in automated software engineering and testing
- Correct-by-design
- Design for verification, and property based design techniques
- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods
- Compositional techniques
- Parallel and distributed techniques.- Application of formal methods to emerging technologies.