MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "EVES An Overview." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Reference Manual for the Language s-Verdi
by Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink — 1996
… Verdi. 2 EVES Project TR-96-5482-08a Chapter 2 EVES Overview EVES supports the incremental development…
Add To MetaCart

A FRAMEWORK FOR H-ANIM SUPPORT IN NVES
by Ch. Bouras, K. Chatziprimou, V. Triglianos, Th. Tsiatsos
… is structured as follows. The next section is an overview of an NVE Platform called EVE that is the platform we…
Add To MetaCart

Final Report for the Investigation of Proof Techniques Within the EVES Verification Technology
by Sentot Kromodimoeljo, Bill Pase — 1992
… to the particular EVES design. Various aspects of EVES and two small examples are presented in "EVES: An Overview…
Cited by 1 (1 self) – Add To MetaCart

Teaching Formal Methods Lite via Testing
by Mark Utting, Steve Reeves — Journal of Software Testing, Verification and Reliability
… data using Z/EVES; an overview of testing theory; and black-box techniques for generating test sets…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB