Declarative Theorem Proving for Operational Semantics

Donald Syme

Abstract

This dissertation is concerned with techniques for formally checking properties of systems that are described by operational semantics. We describe innovations and tools for tackling this problem, and a large case study in the application of these tools.

Details

Publication typeInproceedings
> Publications > Declarative Theorem Proving for Operational Semantics