N. Shankar
SRI International(US)
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → PVS: A prototype verification system(1992)1,395 cited
- → PVS: Combining specification, proof checking, and model checking(1996)414 cited
- → SAL 2(2004)142 cited
- → Verification of real-time systems using PVS(1993)58 cited
- → Fair synchronous transition systems and their liveness proofs(1998)20 cited
- → PVS as a Proof Obligation Generator(2026)