research
∙
11/25/2019
Abstract Compilation for Verification of Numerical Accuracy Properties
Verification of numerical accuracy properties in modern software remains...
share
research
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
research
∙
09/05/2017
