Natarajan Shankar
SRI International(US)GITAM University(IN)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Logic, Reasoning, and Knowledge, Software Reliability and Analysis Research
Most-Cited Works
- → Formal verification for fault-tolerant architectures: prolegomena to the design of PVS(1995)493 cited
- → Decision problems for propositional linear logic(1992)222 cited
- A Tutorial Introduction to PVS(1998)
- → Abstract and Model Check while You Prove(1999)168 cited
- An Overview of SAL(2000)
- → An integration of model checking with automated proof checking(1995)166 cited
- → Experiments in theorem proving and model checking for protocol verification(1996)147 cited
- → Subtypes for specifications: predicate subtyping in PVS(1998)138 cited