Collaborated with:
J.Li G.Pu K.Y.Rozier M.Y.Vardi
Talks about:
reachabl (1) approxim (1) effici (1) simpl (1) tool (1) find (1) base (1) car (1) bug (1)
Person: Rohit Dureja
DBLP: Dureja:Rohit
Contributed to:
Wrote 1 papers:
- CAV-2018-LiDPRV #approximate #named #performance #reachability
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability (JL, RD, GP, KYR, MYV), pp. 37–44.