1 / 4

Formal Methods for Statistical Software

Formal Methods for Statistical Software. Paul E. Black. Formal Methods in the Lifecycle. Data Gathering. Analysis & Algorithm. Software Assurance. Run Computation. Enlightenment. Formal Methods in the Lifecycle. Validation. Model Driven. Proof of Limits. Data Gathering.

avinoam
Télécharger la présentation

Formal Methods for Statistical Software

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formal Methods for Statistical Software Paul E. Black

  2. Formal Methods in the Lifecycle Data Gathering Analysis & Algorithm Software Assurance Run Computation Enlightenment

  3. Formal Methods in the Lifecycle Validation Model Driven Proof of Limits Data Gathering Correct by Con- struction Analysis & Algorithm Assertions Floating Point Software Assurance Repeat- ability High Level Lang. Verification Run Computation Model Checkers Enlightenment Certificate What did we miss?

  4. Next Steps • Workshop proceedings? • White paper: Formal Methods for Statistical Software Thank you for participating!

More Related