An AMBA-ARM7 Formal Verification Platform

Kong Woei Susanto and Tom Melham

book title	Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003: Singapore, November 5—7, 2003: Proceedings
editor	Jin Song Dong and Jim Woodcock
isbn	3-540-20461-X
issn	0302-9743
pages	48—67
publisher	Springer-Verlag
series	Lecture Notes in Computer Science
volume	2885
year	2003