Alternatives to formal verification
Options that appear in the same research papers as formal verification, by co-occurrence.
| Alternative | Difference | Papers (with formal verification) | Avg viability |
|---|---|---|---|
| LLM | — | 1 | — |
| deontic logic | — | 1 | — |
| neuro-symbolic | — | 1 | — |
| Moral Module (MM) | — | 1 | — |
| Decision-Making Module (DMM) | — | 1 | — |
| Guard | — | 1 | — |
| interpretability | — | 1 | — |
| statistical guarantees | — | 1 | — |