This course introduces the basic concepts of functional verification and model checking, highlighting their importance in modern system designs. It explains different modeling formalisms for ...

The Covid-19 pandemic reminded us that everyday life is full of interdependencies. The data models and logic for tracking the progress of the pandemic, understanding its spread in the population, ...