Title | Citations | PageRank | Year |
---|---|---|---|
Finite Machine Word Library. | 0 | 0.34 | 2016 |
Productivity for proof engineering | 3 | 0.40 | 2014 |
Comprehensive formal verification of an OS microkernel | 80 | 2.54 | 2014 |
Formal specifications better than function points for code sizing | 5 | 0.44 | 2013 |
Separation Algebra. | 0 | 0.34 | 2012 |
Challenges and experiences in managing large-scale proofs | 11 | 0.59 | 2012 |
Mechanised Separation Algebra. | 6 | 0.48 | 2012 |
Large-scale formal verification in practice: a process perspective | 9 | 0.67 | 2012 |
Simulation modeling of a large-scale formal verification process | 4 | 0.46 | 2012 |
seL4: formal verification of an operating-system kernel | 84 | 5.86 | 2010 |
Types, Maps and Separation Logic | 4 | 0.78 | 2009 |
seL4: formal verification of an OS kernel | 584 | 19.89 | 2009 |
A Logic for Virtual Memory | 4 | 0.46 | 2008 |
Mapped Separation Logic | 3 | 0.45 | 2008 |
Formalising the L4 microkernel API | 5 | 0.55 | 2006 |