Παρακολούθηση
Natarajan Shankar
Natarajan Shankar
SRI International Computer Science Laboratory
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csl.sri.com
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
PVS: A prototype verification system
S Owre, J Rushby, N Shankar
Automated Deduction—CADE-11, 748-752, 1992
24921992
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS
S Owre, J Rushby, N Shankar, F Von Henke
IEEE transactions on software engineering 21 (2), 107-125, 1995
8151995
PVS: Combining specification, proof checking, and model checking
S Owre, S Rajan, J Rushby, N Shankar, M Srivas
Computer Aided Verification, 411-414, 1996
7281996
A tutorial introduction to PVS
J Crow, S Owre, J Rushby, N Shankar, M Srivas
Wift, 1995
4651995
Decision problems for propositional linear logic
P Lincoln, J Mitchell, A Scedrov, N Shankar
Annals of pure and applied logic 56 (1-3), 239-311, 1992
4141992
SAL 2
L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3752004
PVS language reference
S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert
Computer Science Laboratory, SRI International, Menlo Park, CA 1 (2), 21, 1999
3301999
An integration of model checking with automated proof checking
S Rajan, N Shankar, M Srivas
Computer Aided Verification, 84-97, 1995
3091995
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2602000
Abstract and model check while you prove
H Saïdi, N Shankar
Computer Aided Verification, 681-682, 1999
2521999
Experiments in theorem proving and model checking for protocol verification
K Havelund, N Shankar
International Symposium of Formal Methods Europe, 662-681, 1996
2421996
Subtypes for specifications: Predicate subtyping in PVS
J Rushby, S Owre, N Shankar
IEEE Transactions on Software Engineering 24 (9), 709-720, 1998
2331998
PVS prover guide
N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert
Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001
2282001
The PVS proof checker: A reference manual
N Shankar, S Owre, JM Rushby
Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993
2191993
PVS system guide
S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert
Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999
2111999
The PVS specification language
S Owre, N Shankar, JM Rushby
Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993
1971993
ICS: Integrated Canonizer and Solver?
JC Filliâtre, S Owre, H Rue* B, N Shankar
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
1832001
Reverse engineering digital circuits using structural and functional analyses
P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ...
IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013
1762013
User guide for the PVS specification and verification system (Beta release)
S Owre, N Shankar, JM Rushby
Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993
1731993
System and method using information-based indicia for securing and authenticating transactions
PD Lincoln, N Shankar
US Patent 6,820,201, 2004
1692004
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20