Loading...
Please wait, while we are loading the content...
Similar Documents
Design choices in specification languages and verification systems (1991).
| Content Provider | CiteSeerX |
|---|---|
| Author | Rush, John |
| Abstract | We describe some of the design choices that should be considered in the development and application of specification languages and verification systems. A principal issue is the need to reconcile the desire for expressiveness in the specification language with the ability to provide effective mechanical support. We argue that this reconciliation is assisted by a novel approach to specification language design that requires theorem proving to be used during typechecking. |
| File Format | |
| Publisher Date | 1991-01-01 |
| Access Restriction | Open |
| Subject Keyword | Specification Language Verification System Design Choice Principal Issue Specification Language Design Effective Mechanical Support Novel Approach |
| Content Type | Text |