David Greenaway

According to our database1, David Greenaway authored at least 7 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AutoCorres2.
Arch. Formal Proofs, 2024

2016
A Learning-Based Fact Selector for Isabelle/HOL.
J. Autom. Reason., 2016

2014
Automated proof-producing abstraction of C code.
PhD thesis, 2014

Don't sweat the small stuff: formal verification of C code without the pain.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
Formally Verified System Initialisation.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
Bridging the Gap: Automatic Verified Abstraction of C.
Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2010
Towards Proving Security in the Presence of Large Untrusted Components.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010


  Loading...