\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes |
scientific article |
Statements
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (English)
0 references
7 December 2006
0 references
state explosion
0 references
deadlock
0 references
heuristic search
0 references
CCS
0 references
model checking
0 references
0 references
