Applying an Operational Formal Method to Safety-Critical Systems
| dc.contributor.author | Sobel, Ann | en_US |
| dc.date.accessioned | 2008-07-22T19:31:16Z | |
| dc.date.available | 2008-07-22T19:31:16Z | |
| dc.date.issued | 1996-11-01 | en_US |
| dc.date.submitted | 2008-03-17 | en_US |
| dc.identifier.uri | http://hdl.handle.net/2374.MIA/208 | |
| dc.description.abstract | Despite thirty years of study by the academic community, industry has not embraced the systematic usage of formal methods. To address this concern, a formal method is proposed which possesses many of the qualities that practitioners have listed as lacking from current formal methods: inclusion of both a specification and verification model, a tabular notation that only requires knowledge of first-order logic, support for both composition and decomposition, application throughout the software life-cycle, and tool support. The presentation includes several applications to safety-critical software systems. Keywords and Phrases Formal methods, specification, trace-based systems, software development, concurrency, verification. | en_US |
| dc.title | Applying an Operational Formal Method to Safety-Critical Systems | en_US |
| dc.type | Text | en_US |
| dc.type.genre | Report | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| fulltext.pdf | 1.090Mb |
|