blob: d7571747fa42b4dfb74462717c4c6c461e885825 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
+++
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.
|