MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Z/EVES System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • The Z/EVES System  
  • by Mark Saaltink — 1997 — ZUM’97: Z Formal Specification Notation
  • …The Z/EVES System Mark Saaltink (mark@(email omitted);) ORA Canada 267 Richmond Road Ottawa, Ontario K1Z…
  • Cited by 64 (1 self) – Add To MetaCart
  • The Z/EVES Reference Manual  
  • by For Version Tr-, Irwin Meisels, Mark Saaltink
  • … is described in full in Chapter 3. Z/EVES is based on the EVES system [2, 3], and uses the EVES prover to carry…
  • Add To MetaCart
  • The Use of Industrial-Strength Formal Methods  
  • by Jonathan P. Bowen, Michael G. Hinchey — 1997 — Proceedings of 21st International Computer Software and Application Conference (COMPSAC’97
  • …'s recently released Z/EVES system [28] have been demonstrated by analyzing a formalization of the sliding…
  • Cited by 13 (9 self) – Add To MetaCart
  • Practical Application of Formal Methods in Modeling and Simulation  
  • by Richard Kuhn National, D. Richard Kuhn, Dan Craigen, Mark Saaltink — 2003 — Proceedings of SCSC’03 (invited). Summer Simulation Multiconference
  • … to model system requirements. ORA Canada's Z/EVES system [10], which has been used in 62 countries, uses…
  • Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB