Programmable Verifiers in Imperative Programming

DOI10.1007/978-3-642-16690-7_8zbMath1309.68042OpenAlexW1545734455MaRDI QIDQ3055745

Yifeng Chen

Publication date: 9 November 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Programmable Verifiers in Imperative Programming