Overview Model checking Approaches Algorithmic Verification Comp4151 Lecture 9-B

First Page		Document Content
Date: 2006-06-05 00:33:08 Function FO Mind Mathematics Model checking Abstraction		Overview Model checking Approaches Algorithmic Verification Comp4151 Lecture 9-B Add to Reading List Source URL: www.cse.unsw.edu.au Download Document from Source Website File Size: 207,81 KB Share Document on Facebook