researchr - search publication program verification

researchr

You are not signed in
Sign in
Sign up

2203 publication results matching 'program verification'

Language-Independent Program Verification Using Symbolic Execution
… We present an automatic, language-independent program verification approach and experimental tool based on symbolic execution. The program-specification … is sound. We then present a Reachability-Logic verifier based on our proof system …
Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8369, 2013.
Program VerificationRobert S. Boyer, J. Strother Moore. JAR, 1(1):17-23, 1985.
A Program VerifierJames C. King. ifip 1971: 234-249
Executing and verifying higher-order functional-imperative programs in Maude
… framework. We illustrate, via simple programs in the resulting language: the concrete and symbolic execution of programs; their verification with respect … of Hoare Logic; and the verification of program-equivalence properties. Our approach …
Vlad Rusu, Andrei Arusoaie. jlp, 93:68-91, 2017. [doi]
Program verificationNissim Francez. International computer science series, Addison-Wesley, 1992.
Program Verification and Programming MethodologyK. Rustan M. Leino. asmta 2005: 73 [doi]
Programmed Strategies for Program VerificationRichard B. Kieburtz. ENTCS, 174(10):3-38, 2007. [doi]
Programmable Verifiers in Imperative ProgrammingYifeng Chen. utp 2010: 172-187 [doi]
From program verification to program synthesisSaurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster. POPL 2010: 313-326 [doi]
Induction as the Basis for Program VerificationCharles Reynolds, Raymond T. Yeh. TSE, 2(4):244-252, 1976.
An Exercise in Automatic Program VerificationWolfgang Polak. TSE, 5(5):453-458, 1979.
JavaCard Program VerificationBart Jacobs. tphol 2001: 1-3 [doi]
A Perspective on Program VerificationWillem-Paul de Roever. vstte 2008: 470-477 [doi]
Mechanizing Program Verification in HOLSten Agerholm. tphol 1992: 208-222
An Interactive Program Verification SystemDonald I. Good, Ralph L. London, W. W. Bledsoe. TSE, 1(1):59-67, 1975.
Program Verification with fewer TearsJacques Loeckx. adt 1983:
The Simplifier of the Program Verifier Tatzelwurm Thomas Käufl. ogai 1985: 185-193
Where Is the Value in a Program Verifier?Colin O Halloran. vstte 2008: 255-262 [doi]
A Mechanized Program VerifierJ. Strother Moore. vstte 2008: 268-276 [doi]
The Program Verifier TatzelwurmThomas Käufl. STACS 1993: 708-709

Sign in or sign up to see more results.

runs on WebDSL