Integrated program verification tools in education

Automated software verification is an active field of research, which has made enormous progress both in theoretical and practical aspects. Even if not ready for large-scale industrial adoption, the technology behind automated program verifiers is now mature enough to gracefully handle the kind of p...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: De Caso, G., Garbervetsky, D., Gorín, D.
Formato: JOUR
Materias:
automated program verification
Eclipse plug-in
education
formal methods
Automated program verification
Eclipse Integrated Development Environment
Industrial adoption
Introductory programming course
Plug-ins
Reasoning about programs
Software verification
Verifying compilers
Automation
Education
Formal methods
Semantics
Verification
Web services
Program compilers
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00380644_v43_n4_p403_DeCaso
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares