`Travelled to:`

1 × Belgium

1 × Canada

4 × USA

`Collaborated with:`

D.Kapur N.Shankar R.Hosabettu G.Gopalakrishnan S.Rajan C.K.Mohan J.Hsiang H.Rueß S.Owre J.M.Rushby

`Talks about:`

check (4) proof (3) data (3) abstract (2) rewrit (2) model (2) type (2) microarchitectur (1) microprocessor (1) decompos (1)

## Person: Mandayam K. Srivas

### DBLP: Srivas:Mandayam_K=

### Contributed to:

### Wrote 9 papers:

- CAV-2000-HosabettuGS #architecture #exception #verification
- Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.
- CAV-1998-HosabettuSG #correctness #pipes and filters #proving
- Decomposing the Proof of Correctness of pipelined Microprocessors (RH, MKS, GG), pp. 122–134.
- CAV-1996-OwreRRSS #model checking #named #proving #specification
- PVS: Combining Specification, Proof Checking, and Model Checking (SO, SR, JMR, NS, MKS), pp. 411–414.
- CAV-1996-RuessSS #composition #verification
- Modular Verification of SRT Division (HR, NS, MKS), pp. 123–134.
- CAV-1995-RajanSS #automation #integration #model checking #proving
- An Integration of Model Checking with Automated Proof Checking (SR, NS, MKS), pp. 84–97.
- RTA-1989-MohanS #logic
- Negation with Logical Variables in Conditional Rewriting (CKM, MKS), pp. 292–310.
- POPL-1980-KapurM #abstraction #set
- Expressiveness of the Operation Set of a Data Abstraction (DK, MKS), pp. 139–153.
- CAAP-1985-KapurS #approach #data type #rule-based
- A Rewrite Rule Based Approach for Synthesizing Abstract Data Types (DK, MKS), pp. 188–207.
- CSE-1985-HsiangS #data type #prolog #reasoning
- A PROLOG Environment for Developing and Reasoning about Data Types (JH, MKS), pp. 276–293.