Conference
Who Are We, and What Are We Doing Here?
Abstract
Many Formal Methods researchers and practitioners seem to treat Formal Methods more as a religion than as an approach to rigorous software engineering. This fervour has a few side-effects: i) There have been spectacular advances in a few areas in Formal Methods; ii) There are a significant number of highly effective Formal Methods advocates - and practitioners; iii) The Formal Methods community at large seems to be condescendingly dismissive of …
Authors
Wassyng A
Series
Lecture Notes in Computer Science
Volume
7436
Pagination
pp. 7-9
Publisher
Springer Nature
Publication Date
2012
DOI
10.1007/978-3-642-32759-9_3
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743