scientific article; zbMATH DE number 1956497

MaRDI QIDQ4417841zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

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)