Login / Signup

Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.

Sebastian BiallasStefan KowalewskiStefan StattelmannBastian Schlich
Published in: WODES (2014)
Keyphrases
  • abstract interpretation
  • static analysis
  • decision making
  • database applications
  • termination analysis
  • open source
  • source code
  • model checking
  • integrity constraints