First Page | Document Content | |
---|---|---|
Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath | A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035Add to Reading ListSource URL: ti.arc.nasa.govDownload Document from Source WebsiteFile Size: 285,89 KBShare Document on Facebook |