David Crocker

Escher Verification Studio Perfect Developer and Escher C Verifier

Judith Carlton, David Crocker, 2013 .

Draft Specifications for Administration and Management of gTLDs

David Crocker, 1996 .

Perfect Developer: A tool for Object-Oriented Formal Specification and Refinement

David Crocker, 2003 .

Dictionary of Aviation

David Crocker, 2005 .

A High Productivity Tool for Formally Veri ed Software Development

Judith Carlton, David Crocker, 2006 .

Verification of C Programs Using Automated Reasoning

Judith Carlton, David Crocker, David Crocker, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

Can C++ be made as safe as SPARK?

David Crocker, 2014 .

Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm

David Crocker, David Crocker, 2004 .

Generating commercial web applications from precise requirements and formal specifications

David Crocker, John H. Warren, 2005, WWV.

Can C++ be made as safe as SPARK?

David Crocker, David Crocker, 2014, HILT '14.

Wrapping MIME Objects: Application/MIME

David Crocker, 1998 .