The Sytek theorem prover. - Sam Owre (ACM SIGSOFT Softw. Eng. Notes, 1985)

Programmable heuristics for theorem provers. - William F. Wilson; Sam Owre (ACM SIGSOFT Softw. Eng. Notes, 1985)

Muse - A Computer Assisted Verification System. - J. Daniel Halpern; Sam Owre; Norman Proctor; William F. Wilson (IEEE Trans. Software Eng., 1987)

PVS: A Prototype Verification System. - Sam Owre; John M. Rushby; Natarajan Shankar (CADE, 1992)

Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. - Sam Owre; John M. Rushby; Natarajan Shankar; Friedrich W. von Henke (FME, 1993)

A Tutorial on Using PVS for Hardware Verification. - Sam Owre; John M. Rushby; Natarajan Shankar; Mandayam K. Srivas (TPCD, 1994)

Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. - Sam Owre; John M. Rushby; Natarajan Shankar; Friedrich W. von Henke (IEEE Trans. Software Eng., 1995)

PVS: Combining Specification, Proof Checking, and Model Checking. - Sam Owre; S. Rajan; John M. Rushby; Natarajan Shankar; Mandayam K. Srivas (CAV, 1996)

Integration in PVS: Tables, Types, and Model Checking. - Sam Owre; John M. Rushby; Natarajan Shankar (TACAS, 1997)

Computing Abstractions of Infinite State Systems Compositionally and Automatically. - Saddek Bensalem; Yassine Lakhnech; Sam Owre (CAV, 1998)

InVeST: A Tool for the Verification of Invariants. - Saddek Bensalem; Yassine Lakhnech; Sam Owre (CAV, 1998)

PVS: An Experience Report. - Sam Owre; John M. Rushby; Natarajan Shankar; David W. J. Stringer-Calvert (FM-Trends, 1998)

Towards Light-Weight Verification and Heavy-Weight Testing. - Stephan Pfab; Harald Rueß; Sam Owre; Friedrich W. von Henke (Tool Support for System Specification, Development and Verification, 1998)

Subtypes for Specifications: Predicate Subtyping in PVS. - John M. Rushby; Sam Owre; Natarajan Shankar (IEEE Trans. Software Eng., 1998)

Principles and Pragmatics of Subtyping in PVS. - Natarajan Shankar; Sam Owre (WADT, 1999)

Integrating WS1S with PVS. - Sam Owre; Harald Rueß (CAV, 2000)

ICS: Integrated Canonizer and Solver. - Jean-Christophe Filliâtre; Sam Owre; Harald Rueß; Natarajan Shankar (CAV, 2001)

Incremental Verification by Abstraction. - Yassine Lakhnech; Saddek Bensalem; Sergey Berezin; Sam Owre (TACAS, 2001)

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. - Andrew Adams; Martin Dunstan; Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin; Sam Owre (TPHOLs, 2001)

The ICS Decision Procedures for Embedded Deduction. - Leonardo Mendonça de Moura; Sam Owre; Harald Rueß; John M. Rushby; Natarajan Shankar (IJCAR, 2004)

SAL 2. - Leonardo Mendonça de Moura; Sam Owre; Harald Rueß; John M. Rushby; Natarajan Shankar; Maria Sorea; Ashish Tiwari 001 (CAV, 2004)

A Brief Overview of PVS. - Sam Owre; Natarajan Shankar (TPHOLs, 2008)

Solving the First Verified Software Competition Problems Using PVS. - Sam Owre; Natarajan Shankar (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Automatic Dimensional Analysis of Cyber-Physical Systems. - Sam Owre; Indranil Saha; Natarajan Shankar (FM, 2012)

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. - Heber Herencia-Zapana; Romain Jobredeaux; Sam Owre; Pierre-Loïc Garoche; Eric Feron; Gilberto Pérez 001; Pablo Ascariz (NASA Formal Methods, 2012)

Tool Integration with the Evidential Tool Bus. - Simon Cruanes; Grégoire Hamon; Sam Owre; Natarajan Shankar (VMCAI, 2013)

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). - Simon Cruanes; Stijn Heymans; Ian A. Mason; Sam Owre; Natarajan Shankar (Specification, Algebra, and Software, 2014)

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. - Devesh Bhatt; Arunabh Chattopadhyay; Wenchao Li 001; David Oglesby; Sam Owre; Natarajan Shankar (NFM, 2016)

Making PVS Accessible to Generic Services by Interpretation in a Universal Format. - Michael Kohlhase; Dennis Müller 001; Sam Owre; Florian Rabe 001 (ITP, 2017)

An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. - John Hester; Briland Hitaj; Grant O. Passmore; Sam Owre; Natarajan Shankar; Eric Yeh (CICM, 2023)

CoProver: A Recommender System for Proof Construction. - Eric Yeh; Briland Hitaj; Sam Owre; Maena Quemener; Natarajan Shankar (CICM, 2023)

Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning. - John Hester; Briland Hitaj; Grant O. Passmore; Sam Owre; Natarajan Shankar; Eric Yeh (CoRR, 2023)