A theoretical limit for safety verification techniques with regular fix-point computations (Q963463)
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 theoretical limit for safety verification techniques with regular fix-point computations |
scientific article; zbMATH DE number 5694992
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theoretical limit for safety verification techniques with regular fix-point computations |
scientific article; zbMATH DE number 5694992 |
Statements
A theoretical limit for safety verification techniques with regular fix-point computations (English)
0 references
19 April 2010
0 references
reachability problem
0 references
regular tree languages
0 references
formal methods
0 references
theoretical limit
0 references
