25 citations · 26 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Abstract Compilation for Verification of Numerical Accuracy Properties
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov +2
Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions…
cs.SE2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…