FME '93: Industrial-Strength Formal Methods
Larsen, Peter G. / Woodcock, James C. P.
The last few years have borne witness to a remarkable
diversity of formal methods, with applications to sequential
and concurrent software, to real-time and reactive systems,
and to hardware design. In that time, many theoretical
problems have been tackled and solved, and many continue to
be worked upon. Yet it is by the suitability of their
industrial application and the extent of their usage that
formal methods will ultimately be jud...