Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formally verified software in the real world. | 4 | 0.43 | 2018 |
| Finite Machine Word Library. | 0 | 0.34 | 2016 |
| Verifying Linearizability Of Intel (R) Software Guard Extensions | 4 | 0.48 | 2015 |
| Automated verification of RPC stub code | 1 | 0.35 | 2015 |
| Formally Verified System Initialisation. | 5 | 0.44 | 2013 |
| Towards a verified component platform | 1 | 0.35 | 2013 |