4 citations · 4 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control…
cs.PL2012★ 4 cited
Static Analysis of Lockless Microcontroller C Programs
Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correc…