Formal verification of Ada programs: an approach based on model checking

Dissertação de mestrado em Engenharia de Informática

Detalhes bibliográficos
Autor principal: Martins, João Pedro Marques da Silva (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2011
Assuntos:
Ada
Extração de Modelos
Lógica Temporal
Métodos Formais
Sistemas Críticos
SPIN
Verificação de Programas
Verificação Formal
Verificação de Modelos
Verificação de Modelos de Software
Critical Systems
Formal Methods
Formal Verification
Model Checking
Model Extraction
Software Verification
Software Model Checking
Temporal Logic
681.3.06
Texto completo:http://hdl.handle.net/1822/27971
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/27971

Texto Completo

http://hdl.handle.net/1822/27971

Registros relacionados