Combining search space partition and abstraction for LTL model checking (Q2465733)
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: Combining search space partition and abstraction for LTL model checking |
scientific article; zbMATH DE number 5223817
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Combining search space partition and abstraction for LTL model checking |
scientific article; zbMATH DE number 5223817 |
Statements
Combining search space partition and abstraction for LTL model checking (English)
0 references
7 January 2008
0 references
search space partition
0 references
refinement
0 references
abstraction
0 references
LTL model checking
0 references
0 references
0 references
0.88774467
0 references
0.8843693
0 references
0.88274795
0 references
0.88065946
0 references
0.8803175
0 references
0.8790019
0 references
