Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented w...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Edición: | 1st ed. 2016. |
Colección: | Programming and Software Engineering,
9971 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Education
- requirements modeling
- specification languages
- specification/verification
- formal calculi
- software design methods
- automatic code generation
- refinement methodologies
- compositional analysis
- verification tools
- Tool integration
- Benchmarks
- Challenge problems
- Integrated verification environments. .