Jeffrey X. Su

According to our database, Jeffrey X. Su authored at least 2 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Formally Verifying Data and Control with Weak Reachability Invariants.

Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1996

Automatic Generation of Invariants in Processor Verification.

Jeffrey X. Su, David L. Dill, Clark W. Barrett

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996