John Rushby

John Rushby

SRI International - California / United States
Others
AD Scientific Index ID: 4398519
-
person_outline John Rushby's MOST POPULAR ARTICLES
1-) PVS: A prototype verification systemS Owre, JM Rushby, N ShankarInternational Conference on Automated Deduction, 748-752, 199223771992
2-) Formal verification for fault-tolerant architectures: Prolegomena to the design of PVSS Owre, J Rushby, N Shankar, F Von HenkeIEEE Transactions on Software Engineering 21 (2), 107-125, 19957991995
3-) PVS: Combining specification, proof checking, and model checkingS Owre, S Rajan, JM Rushby, N Shankar, M SrivasInternational Conference on Computer Aided Verification, 411-414, 19967321996
4-) Design and verification of secure systemsJM RushbyACM SIGOPS Operating Systems Review 15 (5), 12-21, 19817311981
5-) Noninterference, transitivity, and channel-control security policiesJ RushbySRI International, Computer Science Laboratory, 19925471992