Loading...
Please wait, while we are loading the content...
A rigorous approach to reviewing formal specifications ∗.
| Content Provider | CiteSeerX |
|---|---|
| Abstract | put forward a new approach to rigorously review-I formal specifications to ensure their internal coning and validity. This approach includes four sistency (1) deriving properties as review targets based steps: the syntax and semantics of the specification, (2) on a review task tree to present all the neces-building review tasks for each property, (3) carrying out sary based on the review task tree, and (4) analyz-reviews the review results to determine whether faults are ing or not. I apply this technique to the SOFL detected language, which is an integrated formal-specification ismofVDM,PetriNets,andDataFlowDiagramsto discuss how each step is performed. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Rigorous Approach Internal Coning Formal Specification New Approach Integrated Formal-specification Ismofvdm Review Target Review Result Neces-building Review Task Reviewing Formal Specification Review Task Tree |
| Content Type | Text |