\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: DELFIN^+: an efficient deadlock detection tool for CCS processes |
scientific article; zbMATH DE number 5078612
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes |
scientific article; zbMATH DE number 5078612 |
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
0.8239226341247559
0 references
0.7502644062042236
0 references
0.736302375793457
0 references
0.7344926595687866
0 references
0.7339780926704407
0 references