Proving Correctness for Pointer Programs in a Verifying Compiler

TitleProving Correctness for Pointer Programs in a Verifying Compiler
Publication TypeConference Paper
Year of Publication2008
AuthorsKulczycki, G., and A. Singh
Conference NameThe Sixth NASA Langley Formal Methods Workshop
Date PublishedApril 2008
Conference LocationNewport News, VA