Quantitative Model Checking

Course Tags： Modeling Model checkers computer-science software-development Logic Computation tree logic Transition system Markov chain Null coalescing operator Modulo operation Database normalization Generator matrix