MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On the Correctness of Modular Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • The KIV-Approach to Software Verification  
  • by Wolfgang Reif — 1995 — KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE – FINAL REPORT, LNCS 1009
  • … correction and verification. We present the design methodology for modular systems, a feasible verification…
  • Cited by 32 (6 self) – Add To MetaCart
  • Three Selected Case Studies in Verification  
  • by Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel — 1995 — Korso, Correct Software by Formal Methods, Lecture Notes in Computer Science
  • … given in Fig. 2. The correctness of an instantiated modular system only depends on the correctness…
  • Add To MetaCart
  • Feature Specification: a Logic-Independent Approach  
  • by Marc Aiguier, Christophe Gaston, Pascale Le Gall — 2004 — FUNDAMENTA INFORMATICAE
  • … the correctness of modular systems is usually simple to obtain because it is based on the “Machiavellian…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB