Searching for authors named Dan Craigen – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Application of EVES to Reverse Engineering Software
- …Application of EVES to Reverse Engineering Software FR-95-5476-02 Dan Craigen Release date: March…
- Add To MetaCart
-
Formal Methods, EVES, and Safety Critical Systems
- …Formal Methods, EVES, and Safety Critical Systems FR-94-5479-04 Dan Craigen Release date: January…
- Add To MetaCart
-
Formal Methods Adoption: What's working, What's not!
- …Formal Methods Adoption: What’s working, What’s not! Dan Craigen ORA Canada 1208 ONE Nicholas…
- Cited by 1 (0 self) – Add To MetaCart
-
Using EVES to Analyze Authentication Protocols
- …Using EVES to Analyze Authentication Protocols TR-96-5508-05 Dan Craigen and Mark Saaltink Release…
- Cited by 5 (0 self) – Add To MetaCart
-
Ada95 and Critical Systems: An Analytical Approach
- …Ada95 and Critical Systems: An Analytical Approach ? Dan Craigen, 1 Mark Saaltink, 1 Steve…
- Add To MetaCart
-
Using Analytical Approaches for High Integrity Ada95 Systems
- … Maurya Court, Ottawa, Ontario K1G 5S3 Canada Email: steve@(email omitted); Dan Craigen, Mark Saaltink ORA…
- Cited by 1 (1 self) – Add To MetaCart
-
Reference Manual for the Language s-Verdi
- …Reference Manual for the Language s-Verdi TR-96-5482-08a Dan Craigen with contributions from…
- Add To MetaCart
-
Reference Manual for the Language Verdi
- …Reference Manual for the Language Verdi TR-96-5482-07 Dan Craigen Release date: February 1990…
- Cited by 19 (3 self) – Add To MetaCart
-
A Tutorial on EVES using s-Verdi
- …A Tutorial on EVES using s-Verdi Sentot Kromodimoeljo, Mark Saaltink, Dan Craigen, Bill Pase…
- Cited by 1 (0 self) – Add To MetaCart
-
An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions
- … Purpose, Approach, Analysis, and Conclusions Dan Craigen, ORA Canada Susan Gerhart, Applied Formal Methods…
- Cited by 94 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
