This course introduces the fundamental skill of computer science, programming, using data science examples and applications in the Python programming language ... combinational and sequential logic ...

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).