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