Login / Signup
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
Aron Schnakenbeck
Robin Mroß
Marcus Völker
Stefan Kowalewski
Alexander Fay
Published in:
INDIN (2023)
Keyphrases
</>
abstract interpretation
control flow
static analysis
data flow
active rules
dynamic analysis
termination analysis
source code
software testing
process model
test suite
java card
workflow management systems
test cases
modeling language
software systems
database
formal semantics
regular expressions
open source