Light Intro!
Lecture 2 Molecular dynamics simulates a system by numerically following the path of all particles in phase space as a function of time the time T must.
Well-cooked Spaghetti: Weakest-Precondition of Unstructured Programs