Now showing items 1-10 of 1
Binary decision diagrams (BDDs) (1) |
Buchi-Automata (1) |
Completeness (1) |
Computer aided verification (1) |
Decision procedures (1) |
Expressiveness (1) |
Expressivity (1) |
Finite state systems (1) |
Modal logic (1) |
Model checking (1) |
Now showing items 1-10 of 1