Login / Signup
The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Gregory Kulczycki
Hampton Smith
Heather K. Harton
Murali Sitaraman
William F. Ogden
Joseph 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