Using a Model Checker to Test Safety Properties Paul Ammann, Wei Ding, and Daling Xu ISE Department, MS 4A4 George Mason University 4400 University Drive Fairfax, VAUSA

First Page		Document Content
Date: 2008-07-16 17:41:23		Using a Model Checker to Test Safety Properties Paul Ammann, Wei Ding, and Daling Xu ISE Department, MS 4A4 George Mason University 4400 University Drive Fairfax, VAUSA Add to Reading List Source URL: www.cs.umb.edu Download Document from Source Website File Size: 111,09 KB Share Document on Facebook