Jeffrey X. Su

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk
Formally Verifying Data and Control with Weak Reachability Invariants. FMCAD (1998)
Jeffrey X. Su, David L. Dill, Clark W. Barrett
Automatic Generation of Invariants in Processor Verification. FMCAD (1996)