Scholarly Commons

An electronic repository for the intellectual products of the Miami University community

Applying an Operational Formal Method to Safety-Critical Systems

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Sobel, Ann en_US
dc.date.accessioned 2008-07-22T19:31:16Z en_US
dc.date.accessioned 2013-07-10T15:06:41Z
dc.date.available 2008-07-22T19:31:16Z en_US
dc.date.available 2013-07-10T15:06:41Z
dc.date.issued 1996-11-01 en_US
dc.date.submitted 2008-03-17 en_US
dc.identifier.uri
dc.identifier.uri http://hdl.handle.net/2374.MIA/208 en_US
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

This item appears in the following Collection(s)

Show simple item record

Search SC


Advanced Search

Browse

My Account