David May;Geoff Barrett;David Shepherd
-;-;-
Model Checking in Practice: The T9000 Virtual Channel Processor
IEEE Transactions on Software Engineering
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques