Searching for authors named "Natarajan Shankar" – sorted by Relevance.
49 documents found, showing 1 through 10.
Next 10 →
-
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization
- … in Computer Science. Natarajan Shankar Computer Science Laboratory SRI International Menlo Park, CA 94025…
- Cited by 19 (1 self) – Add To MetaCart
-
Using Decision Procedures With a Higher-Order Logic
- …Using Decision Procedures With a Higher-Order Logic ? Natarajan Shankar Computer Science…
- Cited by 8 (2 self) – Add To MetaCart
-
Symbolic Analysis of Transition Systems
- …Symbolic Analysis of Transition Systems ? Invited paper at the ASM2000 Workshop Natarajan Shankar…
- Cited by 5 (0 self) – Add To MetaCart
-
Steps Towards Mechanizing Program Transformations Using PVS
- …Steps Towards Mechanizing Program Transformations Using PVS ? Natarajan Shankar Computer Science…
- Cited by 10 (1 self) – Add To MetaCart
-
Static Analysis for Safe Destructive Updates (Extended Abstract)
- …Static Analysis for Safe Destructive Updates (Draft extended abstract; please comment) Natarajan…
- Cited by 2 (1 self) – Add To MetaCart
-
Computer-Aided Computing
- … on the Mathematics of Program Construction, Kloster Irsee, Germany, July 1995 Natarajan Shankar Computer Science…
- Cited by 4 (0 self) – Add To MetaCart
-
Verification by Abstraction
- …Verication by Abstraction ? Natarajan Shankar Computer Science Laboratory SRI International Menlo…
- Cited by 1 (0 self) – Add To MetaCart
-
Automated Verification Using Deduction, Exploration, and Abstraction
- …, and Abstraction Natarajan Shankar 1 ABSTRACT Computer programs are formal texts that are composed by programmers…
- Cited by 3 (0 self) – Add To MetaCart
-
Lazy Compositional Verification
- …Lazy Compositional Verification ? Natarajan Shankar Computer Science Laboratory SRI International…
- Cited by 11 (0 self) – Add To MetaCart
-
Little Engines of Proof
- … Engines of Proof ⋆ Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CA 94025 USA…
- Cited by 12 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
