Dr. Ashish Tiwari Senior Computer Scientist SRI International Room EL 260 333 Ravenswood Avenue Menlo Park, CA, 94025 USA Phone: +1 (650) 859-4774 Fax:+1 (650) 859-2844 Email: tiwari@csl.sri.com Personal Home Page: http://www.csl.sri.com/users/tiwari Projects: Pathway Logic PHD: Predicting Health and Disease (PHD) Prototype Verification System (PVS) Symbolic Analysis Laboratory (SAL) Papers: Model Checking of Worm Quarantine and Counter-Quarantine under a Group Defense  (2005) A Technique for Invariant Generation  (2001) Rigid E-Unification Revisited  (2000) An Overview of SAL  (2000) Congruence Closure Modulo Associativity and Commutativity  (2000) Abstract Congruence Closure and Specializations  (2000)

About Us    R&D Divisions    Careers    Newsroom    Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy