Results for:
"
Poul+Anderson
" in Documents
- Unifying Two Formula Rewriting Techniques for Circuit Verification and...
- We study two dissimilar techniques, one online and one offline, for improving boolean formula assessment in two formal verification domains, circuit verification and risk assessment. We establish, des...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 15-05-09
- Unifying Two Formula Rewriting Techniques for Circuit Verification and...
- We study two dissimilar techniques, one online and one offline, for improving boolean formula assessment in two formal verification domains, circuit verification and risk assessment. We establish, des...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 13-05-09
- The IPTES Meta-IV Language 1993
- This document is one of four documents which constitute the deliverable for task T16.analysis. It summarizes the contents of the documents and explains the relationship between them. The document also...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- The IPTES Meta-IV Language 1993
- This document is one of four documents which constitute the deliverable for task T16.analysis. It summarizes the contents of the documents and explains the relationship between them. The document also...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- The IPTES Meta-IV Language 1993
- This document is one of four documents which constitute the deliverable for task T16.analysis. It summarizes the contents of the documents and explains the relationship between them. The document also...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- The IPTES Meta-IV Language 1993
- This document is one of four documents which constitute the deliverable for task T16.analysis. It summarizes the contents of the documents and explains the relationship between them. The document also...
-
Rating:
Views: (1016)
Pages: ()
Uploaded: 13-05-09
- An Executable Subset of Meta-IV with Loose Specification 1991 23 citat...
- In ESPRIT project no. EP5570 called IPTES 1 a methodology and a supporting environment for incremental prototyping of embedded computer systems is developed. As a part of this prototyping tool an inte...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- An executable subset of VDM-SL in an SA/RT framework 1993
- In this article we present the executable specification language IPTES Meta-IV based on the formal specification language VDMSL. The language has been fitted to work in an SA/RT framework and the arti...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09