Login / Signup

Abstract interpretation of microcontroller code: Intervals meet congruences.

Jörg BrauerAndy KingStefan Kowalewski
Published in: Sci. Comput. Program. (2013)
Keyphrases
  • abstract interpretation
  • static analysis
  • termination analysis
  • dynamic analysis
  • source code
  • control system
  • active rules
  • model checking
  • active databases
  • open source
  • multi agent systems
  • regular expressions