Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday
DOI10.1007/978-3-642-17172-7zbMATH Open1200.68023OpenAlexW200003644MaRDI QIDQ600798FDOQ600798
Author name not available (Why is that?)
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
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
Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
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)
