Search
Now showing items 1-1 of 1
Applying an Operational Formal Method to Safety-Critical Systems
(1996-11-01)
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 ...