Successful application of formal methods to software and hardware
1996
This paper outlines some of the impediments to the successful application of formal methods and some suggestions for counteracting them. It considers Z specification and the PVS (Prototype Verification System) tool. It then lists some additional sources of information about formal methods in general and specific case studies.