Now showing items 1-20 of 33
| Subject |
|---|
| Binary decision diagrams (BDDs) [1] |
| Binary relations [1] |
| Buchi-Automata [1] |
| Completeness [1] |
| Computer aided verification [1] |
| Data refinement [1] |
| Decision procedures [1] |
| Dependability [1] |
| Dynamic logic [1] |
| Expressiveness [1] |
| Expressivity [1] |
| Fault-tolerance [1] |
| Finite state systems [1] |
| Formal methods [1] |
| Galois connection [1] |
| Knowledge representation [1] |
| Modal logic [2] |
| Model checking [1] |
| Partial order methods [1] |
| Predicate transformers [1] |
Now showing items 1-20 of 33