Workshop on formal verification
ACM SIGSOFT Software Engineering Notes · 1980
There has been significant progress in the formal verification of system designs and of programs in the last few years, but there are many problems remaining. In an effort to assess the state of the art on the practical side of formal verification, a workshop (VERkshop) was held in April at SRI, co-organized by Peter Neumann and Steve Walker (DoD). There were about 50 attendees, essentially all of whom contributed on-line informal written statements (research summaries, position statements, etc.) in advance.In order to share the conclusions of the VERkshop with a wider audience, we are including most of the a priori VERkshop contribution in this issue (although some have been abridged). In addition, a posteriori statements are included that summarize the three days' activities. Some trivial corrections and formatting have been added, but otherwise the material is essentially as received. The included items have page numbers as indicated.