Verification of concurrent system specifications using temporal logic.

Harvey, Randall A.2009-03-202009-03-2019891989Source: Masters Abstracts International, Volume: 40-07, page: .9780315532557http://hdl.handle.net/10393/5662http://dx.doi.org/10.20381/ruor-14475Engineering, General.Verification of concurrent system specifications using temporal logic.Thesis