Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. - William Chan 001; Richard J. Anderson 001; Paul Beame; David Notkin (CAV, 1997)

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. - William Chan 001; Richard J. Anderson 001; Paul Beame; David Notkin (ISSTA, 1998)

Model Checking Large Software Specifications. - William Chan 001; Richard J. Anderson 001; Paul Beame; Steve Burns 002; Francesmary Modugno; David Notkin; Jon Damon Reese (IEEE Trans. Software Eng., 1998)

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. - Richard J. Anderson 001; Paul Beame; William Chan 001; David Notkin (Ershov Memorial Conference, 1999)

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. - William Chan 001; Richard J. Anderson 001; Paul Beame; David H. Jones; David Notkin; William E. Warner (ICSE, 1999)

Optimizing Symbolic Model Checking for Statecharts. - William Chan 001; Richard J. Anderson 001; Paul Beame; David H. Jones; David Notkin; William E. Warner (IEEE Trans. Software Eng., 2001)