Show simple item record

dc.contributor.authorSobel, Annen_US
dc.date.accessioned2008-07-22T19:31:16Zen_US
dc.date.accessioned2013-07-10T15:06:41Z
dc.date.available2008-07-22T19:31:16Zen_US
dc.date.available2013-07-10T15:06:41Z
dc.date.issued1996-11-01en_US
dc.date.submitted2008-03-17en_US
dc.identifier.uri
dc.identifier.urihttp://hdl.handle.net/2374.MIA/208en_US
dc.description.abstractDespite 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.titleApplying an Operational Formal Method to Safety-Critical Systemsen_US
dc.typeTexten_US
dc.type.genreReporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record