Summary of SAFEDOCS
The Safe Documents (SafeDocs) program aims to develop novel verified programming methodologies for building high assurance parsers for electronic data formats (for example pdf), and novel methodologies for comprehending, simplifying, and reducing these formats to their safe, unambiguous, verification-friendly subsets (“safe sub-setting”).