On the utility of formal methods in the development and certification of software

Authors:
Constance L. Heitmeyer
Affiliations:
Naval Research Laboratory, Washington, DC
Venue:
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Year:
2007

Citing 3
Cited 0

TAME: Using PVS strategies for special-purpose theorem proving

Annals of Mathematics and Artificial Intelligence
Formal specification and verification of data separation in a separation kernel for an embedded system

Proceedings of the 13th ACM conference on Computer and communications security
Thorough static analysis of device drivers

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006

Quantified Score

Hi-index	0.00

Visualization

Abstract