scientific article; zbMATH DE number 1956497

zbMATH Open1032.68666MaRDI QIDQ4417841FDOQ4417841

Authors: Natasha Sharygina, James C. Browne 

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2621/26210325.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1903343
• Model checking: from hardware to software.
• Lazy abstraction
• Verification and falsification of programs with loops using predicate abstraction
• Abstraction and abstraction refinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Transactions for software model checking

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417841)