Login / Signup

Widening with Thresholds for Programs with Complex Control Graphs.

Lies Lakhdar-ChaouchBertrand JeannetAlain Girault
Published in: ATVA (2011)
Keyphrases
  • structured objects
  • control program
  • control system
  • high level
  • computer programs
  • data sets
  • control structures
  • real world
  • multi agent systems
  • complex data
  • complex structures
  • control structure