Abstraction and refinement for model checking inconsistent systems

36

IRUS Total
Downloads

Altmetric

File	Description	Size	Format
abstraction-consistency-lattice.pdf	Accepted version	71.33 kB	Adobe PDF	View/Open

Title:	Abstraction and refinement for model checking inconsistent systems
Authors:	Huth, M Pradhan, S
Item Type:	Report
Issue Date:	31-May-2001
URI:	http://hdl.handle.net/10044/1/5809
Publisher Link:	http://www.cs.toronto.edu/~sme/IWLWI-01/
DOI:	https://doi.org/10.25561/5809
ISBN:	0-7695-1050-7
Publisher:	University of Toronto
Start Page:	1
End Page:	2
Copyright Statement:	© The Authors
Appears in Collections:	Quantitative Analysis and Decision Science