scientific article; zbMATH DE number 2087619

MaRDI QIDQ4738463zbMATH OpenFDO

Authors Dennis Dams

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(3)

• Structural Abstraction of Software Verification Conditions
• Model Checking Software
• An abstract interpretation toolkit for CRL

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 Q4738463)