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:
CoRR (2023)
Keyphrases
</>
abstract interpretation
control flow
static analysis
data flow
active rules
dynamic analysis
termination analysis
source code
software testing
process model
java card
test suite
regular expressions
modeling language
workflow management systems
test cases
business process
databases