Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers

Junaid Rasheed, Michal Konečný

Research output: Chapter in Book/Published conference output › Conference publication

1 results
- Title(descending)
- Award date

Automatic Numerical Solving for Auto-active Verification of Floating-Point Programs
Author: Rasheed, J. A., Sept 2022
Supervisor: Konečný, M. (Supervisor) & Clark, T. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy

File