Sort by
Refine Your Search
-
, reachability, basic complexity classes. Mathematical logic and formal methods. First-order logic, type systems, SAT/SMT, temporal logic (LTL/CTL) and model checking, pre/post-conditions, invariants, refinement
Searches related to model checking
Enter an email to receive alerts for model-checking positions