scientific article; zbMATH DE number 7440191

MaRDI QIDQ5015368zbMATH OpenFDO

Authors Peter Schrammel

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1607.04458, http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2016.3

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1956470
• Undecidable verification problems for programs with unreliable channels
• Undecidable verification problems for programs with unreliable channels
• scientific article; zbMATH DE number 1507202
• Verifying and decoding in constant depth

Cites work

• Horn clause solvers for program verification
• SMT-based model checking for recursive programs

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