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 Sobel, Ann en_US 2008-07-22T19:31:16Z en_US 2013-07-10T15:06:41Z 2008-07-22T19:31:16Z en_US 2013-07-10T15:06:41Z 1996-11-01 en_US 2008-03-17 en_US
dc.identifier.uri 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


My Account