21 citations · 37 across the 10 of their papers we have counts for
3 papers · 1 filter
Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development
Manuel Bentele, Andreas Podelski, Axel Sikora +1
Temporal HAL-API Dependencies (THADs) can be useful to capture an interesting class of correctness properties in embedded software development. They demand a moderate effort for sp…
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke +2
In theorem prover or SMT solver based verification, the program to be verified is often given in an intermediate verification language such as Boogie, Why, or CHC. This setting rai…
Black-Box Verification for GUI Applications
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis +1
In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used…