Travelled to:1 × Australia
1 × USA
Collaborated with:R.Bhatt D.LaFollette N.Bjørner A.Browne E.Y.Chang M.Colón Z.Manna H.Sipma T.E.Uribe L.d.Alfaro H.Devarajan J.Lee
Talks about:step (2) algorithm (1) stanford (1) reactiv (1) fallaci (1) tempor (1) system (1) prover (1) design (1) deduct (1)
Person: Arjun Kapur
DBLP: Kapur:Arjun
Contributed to:
2003
1996
1995Wrote 3 papers:
- SEFM-2003-BhattLK #design
- The Fallacy of Spec-Based Design (RB, DL, AK), p. 156–?.
- CAV-1996-BjornerBCCKMSU #named #realtime #verification
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.
- TAPSOFT-1995-MannaBBCCADKLSU #named #proving
- STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.