Static analysis of Sequential Function Charts using abstract interpretation


In this work we present an abstract interpretation based static value set analysis method tailored for Sequential Function Charts (SFCs). Translation based approaches that transform SFCs into different presentations - and thus loosing the structure - have shown to be imprecise for this language. Our approach thus keeps the SFC structure and additionally… (More)
DOI: 10.1109/ETFA.2016.7733648

6 Figures and Tables


  • Presentations referencing similar topics