Formal Verification at Utah

This is the page where formal methods research activities in Ganesh Gopalakrishnan's group are kept. We have preserved our classic website that has content dating back to 1985.