Accession Number : AD1027068


Title :   Building Program Verifiers from Compilers and Theorem Provers


Descriptive Note : Conference Paper


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States


Personal Author(s) : Gurfinkel,Arie ; Kahsai,Teme ; Navas,Jorge A ; Komuravelli,Anvesh ; Bjorner,Nikolaj


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1027068.pdf


Report Date : 17 May 2015


Pagination or Media Count : 51


Descriptors :   operating systems , software development , semantics , coding , arithmetic , verification


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE