News

Physics and Python stuff. Most of the videos here are either adapted from class lectures or solving physics problems. I ...
Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...