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
Rasheed, J. A. (Author), Konečný, M. (Supervisor) & Clark, T. (Supervisor), Sept 2022
Student thesis: Doctoral Thesis › Doctor of Philosophy

File