Hannes Lau

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper introduces the Inverse Implementation method, that augments classical software development processes by a step of formal conformity verification. Our method is based on a formal model of the machine that executes programs of the chosen programming language. The model can automatically be combined with the code of a concrete program to gain a(More)
  • 1