Multimedia Gallery - A diagram of the network of deep specifications and the artifacts connecting them.

diagram showing this network of deep specifications and the artifacts connecting them

January 5, 2016

A diagram of the network of deep specifications and the artifacts connecting them.

A Network of Specifications: General insights must begin with experience specifying and implementing particular systems. The core goal of this Expedition is to create a set of interrelated specifications -- and artifacts connecting them -- drawn from the security-critical "middle layers" of software systems.

The diagram shows this network of deep specifications and the artifacts (implementations, translations, or proofs) connecting them, as the team envisions it at the end of the Expedition.

Credit: Andrew Appel, Princeton University

Images credited to the National Science Foundation, a federal agency, are in the public domain. The images were created by employees of the United States Government as part of their official duties or prepared by contractors as "works for hire" for NSF. You may freely use NSF-credited images and, at your discretion, credit NSF with a "Courtesy: National Science Foundation" notation.

Additional information about general usage can be found in Conditions.

Also Available:
Download the high-resolution JPG version of the image. (1.2 MB)

Use your mouse to right-click (Mac users may need to Ctrl-click) the link above and choose the option that will save the file or target to your computer.