Towards a formally verified microkernel using the Frama-C toolset

Submitted by Joana Lopes Dias (jdias@ubi.pt) on 2015-07-15T09:44:06Z No. of bitstreams: 1 Dissertação - Carlos José Abreu Dias da Silva Carloto.pdf: 2226070 bytes, checksum: 7add40c398a10c3614e837434a325ce0 (MD5)

Detalhes bibliográficos
Autor principal: Carloto, Carlos José Abreu Dias da Silva (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2015
Assuntos:
Design by contract
Formal verification
xLuna
Formal methods
Frama-C
Hoare logic
Static verification
Deductive verification
Separation Kernel
Texto completo:http://hdl.handle.net/10400.6/3716
País:Brasil
Oai:oai:ubibliorum.ubi.pt:10400.6/3716

Texto Completo

http://hdl.handle.net/10400.6/3716

Registos relacionados