+++
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