+++
title = "The need for both types of semantics"
date = "2023-05-01"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3m"]
forwardlinks = []
zettelid = "3c3n"
+++

-   Interestingly, we somehow need both types of these semantics, to be
    able to symbolically execute a program, as well as use the
    predicates later on to perform equivalence checks.