Old Web
English
Sign In
Acemap
>
Paper
>
Refinement in the formal verification of seL4
Refinement in the formal verification of seL4
2010
Gerwin Klein
Thomas Sewell
Simon Winwood
Keywords:
Theoretical computer science
Refinement
Formal methods
Refinement calculus
Formal specification
Computer science
Formal verification
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]