research
∙
01/10/2022
A Compositional Proof Framework for FRETish Requirements
Structured natural languages provide a trade space between ambiguous nat...
share
research
∙
12/03/2020
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
The Independent Configurable Architecture for Reliable Operations of Unm...
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...
research
∙
08/13/2018
