Recent Draft Papers of Natarajan Shankar
(Comments Welcome)
The following is a partial list of drafts being (co)authored by
Natarajan Shankar.
Integrating Verification Components: The Interface is the Message (with de Moura, Owre, Ruess, Rushby) (
.ps.gz
)(
.ps
)(
.pdf
)
Counterexample-Driven Model Checking (with Maria Sorea) (
.ps.gz
)(
.ps
)(
.pdf
)
Verification by Abstraction (
.ps.gz
)(
.ps
)(
.pdf
)
Deconstructing Shostak (with Harald Ruess) (
.ps
)(
.pdf
)
Theory Interpretations in PVS (with Sam Owre) (
.ps
)(
.pdf
)
Automated Verification Using Deduction, Exploration, and Abstraction (To appear in a WG2.3 collection)
Efficiently Executing PVS (Draft Final Report)
Integrating LTL Model Checking with Automated Theorem Proving (Rejected from CAV'97)
Abstract Datatypes in PVS (Draft)
PVS Semantics (Draft)
A Logical Basis for Functional Programming (Very Old 1988 Draft)