Applied Formal Methods - FM-Trends 98
Hutter, Dieter / Ullmann, Markus / Traverso, Paolo / Stephan, Werner
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware develop...