Conference
Though This Be Madness, Yet There Is Method in It? (Keynote)
Abstract
After decades of research, and despite significant advancement, formal methods are still not widely used in industrial software development. Industry practitioners believe that the methods and tools coming out of academia are, to a large extent, irrelevant and ineffective in tackling real-life projects. They are difficult to use, esoteric, and do not scale (at all). This paper reflects more than twenty years spent in first experiencing the …
Authors
Wassyng A
Pagination
pp. 1-7
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
May 1, 2013
DOI
10.1109/formalise.2013.6612270
Name of conference
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)