ReCheck: Automated Contextual Improvement Verifier for Functional Calculi across User-Defined Operational Semantics.

Makoto Hamana, Kento Emoto

Browse the full TACAS paper archive.