Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday

DOI10.1007/978-3-642-17172-7MaRDI QIDQ600798zbMATH OpenOpenAlexFDO

Authors

Publication date 2 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17172-7

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Proof-theoretic analysis of termination proofs
• Verifying programs in the calculus of inductive constructions
• Termination Analysis by Dependency Pairs and Inductive Theorem Proving
• Bounded model checking and induction: From refutation to verification (extended abstract, Category A)
• scientific article; zbMATH DE number 862680
• Survey of research on program verification via separation logic
• scientific article; zbMATH DE number 1323296

This page was built for publication: Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday

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