A practical approach to verification of mobile systems using net unfolding (Q5902259)
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: A practical approach to verification of mobile systems using net unfolding |
scientific article; zbMATH DE number 5640654
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A practical approach to verification of mobile systems using net unfolding |
scientific article; zbMATH DE number 5640654 |
Statements
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (English)
0 references
30 November 2009
0 references
finite control processes
0 references
safe processes
0 references
\(\pi\)-calculus
0 references
mobile systems
0 references
model checking
0 references
Petri net unfoldings
0 references
0.9799184203147888
0 references
0.7675236463546753
0 references
0.7418051958084106
0 references
0.7413599491119385
0 references
