| INATEST: an interactive environment for testing formal specifications |
| Full text |
 Pdf
(177 KB)
|
| Source
|
ACM SIGSOFT Software Engineering Notes
archive
Volume 10 , Issue 4 (August 1985)
table of contents
Proceedings of VERkshop III -- a formal verification workshop
SPECIAL ISSUE: Verification systems
table of contents
Pages: 17 - 18
Year of Publication: 1985
ISSN:0163-5948
|
|
Authors
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 4, Downloads (12 Months): 13, Citation Count: 2
|
|
|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
{EK 84} Eckmann, S., and R. Kemmerer, "Preliminary Inatest User's Manual," Department of Computer Science, University of California, Santa Barbara, California, May 1984.
|
| |
2
|
{GLC 84} Gold, B., R. Linde, and P. Cudney, "KVM/370 in Retrospect," Proceedings of the 1984 Symposium on Security and Privacy, Oakland, California, April 1984.
|
| |
3
|
|
| |
4
|
{Kem 85} Kemmerer, R., "Testing Formal Specifications to Detect Design Errors," to appear in IEEE Transactions on Software Engineering, January 1985.
|
| |
5
|
{LSS 80} Locasso, R., J. Scheid, V. Schorre, and P. Eggert, "The Ina Jo Specification Language Reference Manual," SDC document TM-6889/000/01, System Development Corporation, Santa Monica, California, November 1980.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
