Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Facets of Software Doping
Gilles Barthe
,
Pedro R. D’Argenio
,
Bernd Finkbeiner
and
Holger Hermanns
This paper provides an informal discussion of the formal aspects of software doping.
ISOLA 2016
October 2016
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses