Scalable Software Model Checking Using Design for Verification

TEVFİK B., BETİN CAN A.

Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10 - 13 November 2005, pp.337-346 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • City: Zürich
  • Country: Switzerland
  • Page Numbers: pp.337-346