Concepedia

Natarajan Shankar

NS

35

Publications

2.4K

Citations

24

H-Index

1985

Active since

Affiliations

SRI International(Current)

Stanford University

University of California, Berkeley

University of Pennsylvania

Natarajan Shankar is an author at SRI International specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsAutomated ReasoningVerificationSoftware AnalysisProgram AnalysisSystems EngineeringComputer Engineering

Publications per year

1985–2019

34

Publications

35

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

Decision problems for propositional linear logic

Patrick Lincoln, John C. Mitchell, Andre Scedrov et al. · Annals of Pure and Applied Logic · 1992 · 221 citations

Decision Problems, Engineering, Automated Reasoning +4

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

Rows per page

1–5 of 35