Login / Signup

FoREnSiC- An Automatic Debugging Environment for C Programs.

Roderick BloemRolf DrechslerGörschwin FeyAlexander FinderGeorg HofferekRobert KönighoferJaan RaikUrmas RepinskiAndré Sülflow
Published in: Haifa Verification Conference (2012)
Keyphrases
  • programming environment
  • mobile robot
  • real time
  • semi automatic
  • fully automatic
  • knowledge base
  • changing environment
  • data sets
  • information retrieval
  • image analysis
  • indoor environments
  • java programs
  • hardware designs