Concepedia

Sam Owre

SO

11

Publications

1.3K

Citations

11

H-Index

1995

Active since

Affiliations

SRI International(Current)

Sam Owre is an author at SRI International specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationAutomated ReasoningFormal SpecificationProgram AnalysisSolar Power

Publications per year

1995–2003

11

Publications

11

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar et al. · IEEE Transactions on Software Engineering · 1995 · 493 citations

Engineering, Verification, Fault-tolerant Architectures +23

A Tutorial Introduction to PVS

Judy Crow, Sam Owre, John Rushby et al. · 1998 · 215 citations

Electrical Engineering, Engineering, Physics +10

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech et al. · Formal Methods · 2000 · 167 citations

Engineering, Verification, Invariant Generation +20

Subtypes for specifications: predicate subtyping in PVS

John Rushby, Sam Owre, Natarajan Shankar · IEEE Transactions on Software Engineering · 1998 · 138 citations

Engineering, Type Theory, Verification +16

The SAL Language Manual

Leonardo de Moura, Sam Owre, Natarajan Shankar · 2003 · 96 citations

Engineering, Verification, Software Engineering +19

Rows per page

1–5 of 11