Lectures related to Programming State Machines

Related lectures (42)

Graph Algorithms: Modeling and Representation Log in to Mediaspace to watch this video

Covers the basics of graph algorithms, focusing on modeling and representation of graphs in memory.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.