1 citations · 1 across the 2 of their papers we have counts for
3 papers
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…
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…
Context Generation from Formal Specifications for C Analysis Tools
Michele Alberti, Julien Signoles
Analysis tools like abstract interpreters, symbolic execution tools and testing tools usually require a proper context to give useful results when analyzing a particular function.…