Daniel Dietsch
 |
Daniel Dietsch
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-005 |
Research Interests
Static Analysis, Software Model Checking, Formal Methods in Practice, Requirements, Modeling, Processes
Publications
Please visit my Google Scholar profile or DBLP.
Tools
- Ultimate (please visit Ultimate on GitHub for all technical information or try it for yourself using our web interface)