A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.

Aron Schnakenbeck, Robin Mro, Marcus Vlker, Stefan Kowalewski, Alexander Fay

Browse the full INDIN paper archive.