scientific article; zbMATH DE number 1956568

MaRDI QIDQ4417908zbMATH OpenFDO

Authors

Publication date 30 July 2003

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2110618
• scientific article; zbMATH DE number 1330435
• scientific article; zbMATH DE number 2090287
• A trustworthy proof checker
• Proof-carrying code from certified abstract interpretation and fixpoint compression

Cited in

(1)

• Certifying assembly programs with trails

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