Simulation is a concept in theoretical computer science that relates two state transition systems, allowing one system to match the behavior of another. It can be adapted to relate two separate transition systems by combining their components into one system.
University of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts