The Industrial Take-up of Formal Methods in Safety-Critical And Other Areas: A Perspective

The Industrial Take-up of Formal Methods in Safety-Critical And Other Areas: A Perspective (1993)

by Jonathan Bowen , Victoria Stavridou

Citations:

32 - 8 self

User correction supplied by mph

Datum	Value	Source
TITLE	The Industrial Take-up of Formal Methods in Safety-Critical And Other Areas: A Perspective	user correction
AUTHOR NAME	Jonathan Bowen	user correction
AUTHOR AFFIL	1 Oxford University Computing Laboratory, Programming Research Group,	user correction
AUTHOR ADDR	11 Keble Road, Oxford OX1 3QD, UK.	user correction
AUTHOR NAME	Victoria Stavridou	user correction
AUTHOR AFFIL	1 Oxford University Computing Laboratory, Programming Research Group,	user correction
AUTHOR ADDR	11 Keble Road, Oxford OX1 3QD, UK.	user correction
ABSTRACT	Formal methods may be at the crossroads of acceptance by a wider industrial community. In order for the techniques to become widely used, the gap between theorists and practitioners must be bridged effectively. In particular, safety-critical systems offer an application area where formal methods may be engaged usefully to the benefit of all. This paper discusses some of the issues concerned with the general acceptance of formal methods and concludes with a summary of the currentposition and how the formal methods community could proceed to improve matters in the future.	user correction - Legacy Corrections
YEAR	1993	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	183--195	INFERENCE
VOLUME	670	INFERENCE
CITATIONS	44 found	ParsCit 1.0