Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior.

Matthias Mutz

Browse the full CAV paper archive.