MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Software Analysis and Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Software Analysis and Model Checking  
  • by Gerard J. Holzmann — 2002 — Proc. Intl. Conf. on Computer-Aided Verification CAV, Copenhagen, volume 2402 of LNCS
  • …Software Analysis and Model Checking Gerard J. Holzmann Bell Laboratories, Lucent Technologies…
  • Cited by 8 (0 self) – Add To MetaCart
  • Mocha: A Model Checking Tool that Exploits Design Structure  
  • by R. Alur, L. Alfaro, R. Grosu, T. A. Henzinger, M. Kang, Majumdar Kirsch, Mang F. C. M, B. Y. Wang — 2001 — In ICSE 01: Proceedings of the 23rd International Conference on Software Engineering
  • … INTRODUCTION Model checking is emerging as a practical tool for automated debugging of embedded software (see…
  • Cited by 16 (8 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB