Checking safety properties on-the-fly with the sweep-line method.

Guy Edward Gallasch Jonathan Billington Somsak Vanit-Anunchai Lars Michael Kristensen Checking safety properties on-the-fly with the sweep-line method. 371-391 2007 9 STTT 3-4 http://dx.doi.org/10.1007/s10009-007-0031-4 db/journals/sttt/sttt9.html#GallaschBVK07