David Greenaway
David Greenaway
NICTA and School of Computer Science, University of New South Wales
Geverifieerd e-mailadres voor cse.unsw.edu.au - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Bridging the gap: Automatic verified abstraction of C
D Greenaway, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 99-115, 2012
602012
Don't sweat the small stuff: formal verification of C code without the pain
D Greenaway, J Lim, J Andronick, G Klein
ACM SIGPLAN Notices 49 (6), 429-439, 2014
512014
A learning-based fact selector for Isabelle/HOL
JC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J Urban
Journal of Automated Reasoning 57 (3), 219-244, 2016
472016
Towards Proving Security in the Presence of Large Untrusted Components.
J Andronick, D Greenaway, K Elphinstone
SSV, 9, 2010
282010
Formally verified system initialisation
A Boyton, J Andronick, C Bannister, M Fernandez, X Gao, D Greenaway, ...
International Conference on Formal Engineering Methods, 70-85, 2013
182013
Lazy queueing and direct process switch—merit or myths?
K Elphinstone, D Greenaway, S Ruocco
Proceedings of the 3rd Workshop on Operating System Platforms for Embedded …, 2007
132007
Automated proof-producing abstraction of C code.
D Greenaway
University of New South Wales, Sydney, Australia, 2014
122014
From ‘real fast’to real-time: quantifying the effects of scheduling on IPC performance
D Greenaway
B. Sc. thesis, School of Computer Science and Engineering, The University of …, 2007
12007
Getting Started with AutoCorres
J Lim, R Jacob-Rao, D Greenaway
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–9