Recent Technical Reports of Natarajan Shankar
The following is a list of SRI-CSL Technical Reports (co)authored by
Natarajan Shankar.
SRI-CSL-05: First-Order Cyberlogic (
.pdf
)
SRI-CSL-04-01: Solving Linear Arithmetic Constraints (
.ps
,
.ps.gz
,
.pdf
)
SRI-CSL-04-02: Modularity and Refinement in Inference Systems (
.ps
,
.ps.gz
,
.pdf
)
SRI-CSL-95-12: Analyzing Tabular and State-Transition Requirements Specifications in PVS
SRI-CSL-95-03: Mechanized Formal Verification - Seven Papers
SRI-CSL-93-04: Eight Papers on Formal Verification
SRI-CSL-93-08: A Lazy Approach to Compositional Verification
SRI-CSL-93-09: Abstract Datatypes in PVS
SRI-CSL-93-10: A Duration Calculus Proof Checker: Using PVS as a Semantic Framework
SRI-CSL-93-11: Linear Logic and Proof Theory: Three Papers
SRI-CSL-92-12: Mechanized Verification of Real-Time Systems Using PVS
SRI-CSL-91-04: Mechanical Verification of a Schematic Protocol for Byzantine Fault-Tolerant Clock Synchronization
SRI-CSL-90-08: Decision Problems for Propositional Linear Logic