Carnegie Mellon University System Modeling and Formal Verification with UCLID System Modeling and Formal Verification with UCLID bryant.
Carnegie Mellon University Formal Verification of Infinite-State Systems Using Boolean Methods Formal Verification of Infinite-State Systems Using Boolean.
Carnegie Mellon University Symbolic, Word-Level Hardware Verification bryant Randal E. Bryant Contributions by graduate students:
