Automated Reasoning: Symbolic Model Checking

Course Tags： Deadlock Algorithms Binary decision diagram Computation tree logic Model checkers Path (variable) Multiple recursion Verification and validation Formal verification computer-science software-development Recursion