-
Abstract Compilation for Verification of Numerical Accuracy Properties
Verification of numerical accuracy properties in modern software remains...
11/25/2019 ∙ by Maxime Jacquemin, et al. ∙
0
∙
share
read it
-
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...
11/16/2018 ∙ by Cesar Sanchez, et al. ∙
0
∙
share
read it
-
Context Generation from Formal Specifications for C Analysis Tools
Analysis tools like abstract interpreters, symbolic execution tools and ...
09/05/2017 ∙ by Michele Alberti, et al. ∙
0
∙
share
read it
