Formally Verified System Initialisation

Andrew Boyton; June Andronick; Callum Bannister; Matthew Fernandez; Xin Gao; David Greenaway; Gerwin Klein; Corey Lewis; Thomas Sewell

doi:10.1007/978-3-642-41202-8_6

BOOK-CHAPTER

Formally Verified System Initialisation

Andrew Boyton June Andronick Callum Bannister Matthew Fernandez Xin Gao David Greenaway Gerwin Klein Corey Lewis Thomas Sewell

Year: 2013 Lecture notes in computer science Pages: 70-85 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-642-41202-8_6

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science HOL Microkernel Correctness Automated theorem proving Component (thermodynamics) Model checking Proof assistant Programming language Formal verification Formal methods Key (lock) State (computer science) Gas meter prover Process (computing) Software engineering Mathematical proof Embedded system Operating system

Metrics

Cited By

2.64

FWCI (Field Weighted Citation Impact)

Refs

0.90

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Security and Verification in Computing

Physical Sciences → Computer Science → Artificial Intelligence

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Malware Detection Techniques

Physical Sciences → Computer Science → Signal Processing

Formally Verified System Initialisation

Metrics

Citation History

Topics

Related Documents

Formally verified mathematics

A formally verified system for logic synthesis

A Formally Verified NAT

Formally Verified Speculative Optimizations

Formally verified redundancy removal