Model Checking

Infinite State Model Checking and Debugging

http://www.cs.ucsb.edu/~seclab/projects/modelchecking/index.html

Research topics

People involved

Faculty

Last update
Jan. 18, 2013, 1:17 p.m.