Formal
Analysis of System Specifications
presented by
Nancy Day
| |
Formal
Analysis of System Specifications
presented by
Nancy Day
|
| formalWARE
project
formalWARE
formalWARE
|
Presented by Nancy Day at
the International Conference
on Software Engineering,
Boston MA, USA, May 18, 1997
Current approaches to analysis of formal specifications require experts for their application. The goal of this work is to make formal analysis methods more accessible to non-experts. This requires a means of systematically mapping formal specifications into operational models for automated analysis; integrating components specified in different notations; and returning results at the level of abstraction of the specification. This goal can be accomplished using explicit operational semantics. Presentation
Slides (Thumbnails)
. |
