Master's Theses & Technical Reports - Sanjit A. Seshia
M.S.
Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Kumar Jha [2011]
Beaver: An SMT Solver for Quantifier-free Bit-vector Logic
Rhishikesh Shrikant Limaye [2010]
Electrical Engineering and Computer Sciences |
||
COLLEGE OF ENGINEERING |
UC Berkeley |
|
|
||||
|
|
||||
|
Information for: Support Services:
Administrative |
||||
|
|