Reduced models for efficient CCS verification (Q816205)
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: Reduced models for efficient CCS verification |
scientific article; zbMATH DE number 5007757
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reduced models for efficient CCS verification |
scientific article; zbMATH DE number 5007757 |
Statements
Reduced models for efficient CCS verification (English)
0 references
20 February 2006
0 references
model checking
0 references
state explosion problem
0 references
CCS
0 references
transition system
0 references
0 references
0 references
0.8261266
0 references
0.8259449
0 references
0.81860065
0 references
0.8137752
0 references
0.81366706
0 references
0.8128878
0 references
0.81263787
0 references
0.8073965
0 references
0.80726403
0 references
