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)

Bibliographic Details
Main Author: Carloto, Carlos José Abreu Dias da Silva (author)
Format: masterThesis
Language:eng
Published: 2015
Subjects:
Design by contract
Formal verification
xLuna
Formal methods
Frama-C
Hoare logic
Static verification
Deductive verification
Separation Kernel
Online Access:http://hdl.handle.net/10400.6/3716
Country:Brazil
Oai:oai:ubibliorum.ubi.pt:10400.6/3716

Internet

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

Similar Items