A Formal Approach to Constructing Secure Air Vehicle Software
Cofer, Darren, Gacek, Andrew, Backes, John, Whalen, Michael W., Pike, Lee, Foltzer, Adam, Podhradsky, Michal, Klein, Gerwin, Kuz, Ihor, Andronick, June, Heiser, Gernot, Stuart, Douglas
Published in Computer (Long Beach, Calif.) (01.11.2018)
Published in Computer (Long Beach, Calif.) (01.11.2018)
Get full text
Journal Article
Cogent: uniqueness types and certifying compilation
O’CONNOR, LIAM, CHEN, ZILIN, RIZKALLAH, CHRISTINE, JACKSON, VINCENT, AMANI, SIDNEY, KLEIN, GERWIN, MURRAY, TOBY, SEWELL, THOMAS, KELLER, GABRIELE
Published in Journal of functional programming (01.01.2021)
Published in Journal of functional programming (01.01.2021)
Get full text
Journal Article
An empirical research agenda for understanding formal methods productivity
Jeffery, Ross, Staples, Mark, Andronick, June, Klein, Gerwin, Murray, Toby
Published in Information and software technology (01.04.2015)
Published in Information and software technology (01.04.2015)
Get full text
Journal Article
seL4: From General Purpose to a Proof of Information Flow Enforcement
Murray, T., Matichuk, D., Brassil, M., Gammie, P., Bourke, T., Seefried, S., Lewis, C., Xin Gao, Klein, G.
Published in 2013 IEEE Symposium on Security and Privacy (01.05.2013)
Published in 2013 IEEE Symposium on Security and Privacy (01.05.2013)
Get full text
Conference Proceeding
Introduction to Milestones in Interactive Theorem Proving
Avigad, Jeremy, Blanchette, Jasmin Christian, Klein, Gerwin, Paulson, Lawrence, Popescu, Andrei, Snelting, Gregor
Published in Journal of automated reasoning (01.06.2018)
Published in Journal of automated reasoning (01.06.2018)
Get full text
Journal Article
Concerned with the unprivileged: user programs in kernel refinement
Daum, Matthias, Billing, Nelson, Klein, Gerwin
Published in Formal aspects of computing (01.11.2014)
Published in Formal aspects of computing (01.11.2014)
Get full text
Journal Article
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification
Matichuk, Daniel, Murray, Toby, Andronick, June, Jeffery, Ross, Klein, Gerwin, Staples, Mark
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding