INATEST: an interactive environment for testing formal specifications

Authors:
Steven T. Eckmann;Richard A. Kemmerer
Affiliations:
University of California, Santa Barbara, California;University of California, Santa Barbara, California
Venue:
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Year:
1985

SDC Secure Release Terminal Project

SP '83 Proceedings of the 1983 IEEE Symposium on Security and Privacy

Aslantest: a symbolic execution tool for testing Aslan formal specifications

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Using CSP to Detect Errors in the TMN Protocol

IEEE Transactions on Software Engineering
Analyzing Encryption Protocols Using Formal Verification Authentication Schemes

CRYPTO '87 A Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology

Hi-index	0.01