Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Automated verification of a small hypervisor | 27 | 1.11 | 2010 |
| Invariants, Modularity, and Rights | 60 | 1.98 | 2009 |
| Pervasive Compiler Verification -- From Verified Programs to Verified Systems | 18 | 1.05 | 2008 |
| Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes | 39 | 3.52 | 2005 |