What you will learn

• Apply formal methods to evaluate and optimize the behaviour of embedded, distributed, and real-time systems.

• Analyze system performance metrics such as throughput, latency, buffering, and scheduling in single-rate dataflow graphs.

• Develop mathematical reasoning skills using prefix orders, counting functions, and formal semantics.

• Model systems using token production and consumption systems and formalize them with Petri nets.