In my previous colloquium talk, I gave a brief overview of how we automatically transform object-oriented C++ code into labeled transition systems using our novel State-Space Transformation & Generation tool (SSTraGen).
In this talk, we skip the transformation step, and instead, take a more detailed look at the precise semantics used for capturing the various features of “modern-day” object-oriented programming languages, such as references, and lambda functions.
Besides this, we will shortly discuss our experience so far with applying the tools on OOP code from Philips IGT.