Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program verification

Verification of Fine-grain Concurrent ProgramsTony Hoare. ENTCS, 209:165-171, 2008. [doi]

Towards a mechanized metatheory of standard MLDaniel K. Lee, Karl Crary, Robert Harper. POPL 2007: 173-184 [doi]

Expander2: Program Verification Between Interaction and AutomationPeter Padawitz. ENTCS, 177:35-57, 2007. [doi]

Programmed Strategies for Program VerificationRichard B. Kieburtz. ENTCS, 174(10):3-38, 2007. [doi]

Using Satisfiability Modulo Theories for Inductive Verification of Lustre ProgramsAnders Franzén. ENTCS, 144(1):19-33, 2006. [doi]

Verification of Procedural ProgramsAmir Pnueli. BIRTHDAY 2005: 543-590

A Perspective on Program VerificationWillem-Paul de Roever. vstte 2008: 470-477 [doi]

The Importance of Non-theorems and Counterexamples in Program VerificationGraham Steel. vstte 2008: 491-495 [doi]

Can We Build an Automatic Program Verifier? Invariant Proofs and Other ChallengesMyla Archer. vstte 2008: 308-317 [doi]

Advanced Program Analyses and VerificationsThi Viet Nga Nguyen, François Irigoin. rivf 2003: 77-82 [doi]

Integrating Tools for Automatic Program VerificationEngelbert Hubbers. ershov 2003: 214-221 [doi]

Verification of Erlang Programs using Abstract Interpretation and Model MheckingFrank Huch. ICFP 1999: 261-272 [doi]

Formal Verification of Concurrent Programs Using the Larch ProverBoutheina Chetali. TSE, 24(1):46-62, 1998. [doi]

Verifying Programs in the Calculus of Inductive ConstructionsCatherine Parent-Vigouroux. fac, 9(5-6):484-517, 1997.

Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program VerificationLeo Marcus. FUIN, 27(1):77-100, 1996.

Modular Verification for Shared-Variable Concurrent ProgramsJürgen Dingel. concur 1996: 703-718

Hybrid cc, Hybrid Automata and Program VerificationVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat. hybrid 1996: 52-63

Verity - A formal verification program for custom CMOS circuitsAndreas Kuehlmann, Arvind Srinivasan, David P. LaPotin. ibmrd, 39(1-2):149-166, 1995.

Conditional Lambda-Theories and the Verification of Static Properties of ProgramsMitchell Wand, Zheng-Yu Wang. iandc, 113(2):253-277, September 1994.

Program Verification Techniques as a Tool for Reasoning about Action and ChangeWitold Lukaszewicz, Ewa Madalinska-Bugaj. ki 1994: 226-236

Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition GeneratorPeter V. Homeier, David F. Martin. tphol 1994: 269-284

Program Verification using HOL-UNITYFlemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson. tphol 1994: 1-15

Verifying Quantitative Real-Time Properties of Synchronous ProgramsM. Jourdan, Florence Maraninchi, Alfredo Olivero. cav 1993: 347-358

Verification and Specifications of Concurrent ProgramsLeslie Lamport. rex 1994: 347-374

Mechanizing Program Verification in HOLSten Agerholm. tphol 1992: 208-222

Capsules and Types in Fresco: Program Verification in SmalltalkAlan Wills. ECOOP 1991: 59-76 [doi]

Formal Verification of Ada ProgramsDavid Guaspari, Carla Marceau, Wolfgang Polak. TSE, 16(9):1058-1075, 1990. [doi]

Conditional Lambda-Theories and the Verification of Static Properties of ProgramsMitchell Wand, Zheng-Yu Wang. lics 1990: 321-332

Using Symbolic Execution for Verification of Ada Tasking ProgramsLaura K. Dillon. TOPLAS, 12(4):643-669, 1990. [doi]

Verifying General Safety Properties of Ada Tasking ProgramsLaura K. Dillon. TSE, 16(1):51-63, 1990. [doi]

Program verification (tutorial session): techniques and usesHenry MacKay Walker. sigcse 1990: 254 [doi]

The Theorem Prover of the Program Verifier TatzelwurmThomas Käufl, Nicolas Zabel. cade 1990: 657-658

Strengths and Weaknesses of Program Verification SystemsDan Craigen. ESEC/FSE 1987: 396-404

Specification and Verification of Concurrent Programs By Forall-AutomataZohar Manna, Amir Pnueli. POPL 1987: 1-12

Specification and Verification of Concurrent Programs by forall-AutomataZohar Manna, Amir Pnueli. tls 1989: 124-164

Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 ProgramsReidar Conradi. ESEC/FSE 1987: 263-275

Integration of Program Construction and Verification: The PROSPECTRA MethodologyBernd Krieg-Brückner. Ada-Europe 1987: 173-194

Program VerificationRobert S. Boyer, J. Strother Moore. JAR, 1(1):17-23, 1985.

The Simplifier of the Program Verifier Tatzelwurm Thomas Käufl. ogai 1985: 185-193

Verification of Non-Terminating Concurrent ProgramsErnest J. H. Chang. icdcs 1985: 411-415

VERIFY: A Program for Proving Correctness of Digital Hardware DesignsHarry G. Barrow. ai, 24(1-3):437-491, 1984.

Program Verification with fewer TearsJacques Loeckx. adt 1983:

Verification of Programs with Procedure-Type ParameterGeorge W. Ernst, Jainendra K. Navlakha, William F. Ogden. ACTA, 18:149-169, 1982.

Modular Verification of Concurrent ProgramsBrent Hailpern, Susan S. Owicki. POPL 1982: 322-336

Verification Decidability of Presburger Array ProgramsNorihisa Suzuki, David Jefferson. JACM, 27(1):191-205, 1980. [doi]

An Exercise in Automatic Program VerificationWolfgang Polak. TSE, 5(5):453-458, 1979.

The Problem of Reachability and Verification of ProgramsJ. M. Barzdin. mfcs 1979: 13-25

Verification of Euclid ProgramsJames J. Horning. pc 1979: 164-173

Strong Verification of ProgramsSanat K. Basu, Raymond T. Yeh. TSE, 1(3):339-346, 1975.

An Interactive Program Verification SystemDonald I. Good, Ralph L. London, W. W. Bledsoe. TSE, 1(1):59-67, 1975.

runs on WebDSL