scientific article; zbMATH DE number 7440191

zbMath1482.68146arXiv1607.04458MaRDI QIDQ5015368

Peter Schrammel

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1607.04458

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• SMT-based model checking for recursive programs
• Horn Clause Solvers for Program Verification

This page was built for publication: