Sign in
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
Pedro R. D'Argenio
Gilles Barthe
Sebastian Biewer
Bernd Finkbeiner
Holger Hermanns
Published in:
ESOP (2017)
Keyphrases
</>
formal analysis
formal methods
software systems
software development
computer systems
software components
software tools
agent model
free software
control flow
programming environments
program slicing
relational databases
runtime environment
commercial software
source code
user interface