Login / Signup

The Location Linking Concept: A Basis for Verification of Code Using Pointers.

Gregory KulczyckiHampton SmithHeather K. HartonMurali SitaramanWilliam F. OgdenJoseph E. Hollingsworth
Published in: VSTTE (2012)
Keyphrases
  • source code
  • open source
  • neural network
  • starting point
  • formal methods
  • database
  • databases
  • computer vision
  • object oriented
  • model checking
  • location information