nv-shilov documents

Program schemata vs. automata for decidability of program logics
Documents Program schemata vs. automata for decidability of program logics
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers
Documents Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers