research
∙
01/07/2020
Automatic generation and verification of test-stable floating-point code
Test instability in a floating-point program occurs when the control flo...
share
research
∙
12/23/2019
An Integrated Development Environment for the Prototype Verification System
The steep learning curve of formal technologies is a well-known barrier ...
research
∙
08/13/2018
