blob: 83c3b36ae006ff60d335a3bc70585a82da8c1046 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
title = "Verification of scheduling "
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c2", "3a5c1", "1c3", "1c2a2b"]
forwardlinks = ["1c1", "3a7", "2e1c1", "3c4", "3c3a"]
zettelid = "3c3"
+++
This covers notes on verification of scheduling ([\#1c1]) using
translation validation ([\#3a7]) and symbolic execution ([\#2e1c1]).
[\#1c1]: /zettel/1c1
[\#3a7]: /zettel/3a7
[\#2e1c1]: /zettel/2e1c1
|
