Thumbnail
Access Restriction
Subscribed

Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Abstract 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.
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1979-04-01
Publisher Place New York
Journal ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number 5
Issue Number 3
Page Count 44
Starting Page 4
Ending Page 47


Open content in new tab

   Open content in new tab
Source: ACM Digital Library