Forward Analysis for WSTS, Part II: Complete WSTS (Q3166218)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Forward Analysis for WSTS, Part II: Complete WSTS |
scientific article |
Statements
Forward Analysis for WSTS, Part II: Complete WSTS (English)
0 references
22 October 2012
0 references
verification
0 references
well-structured transition systems
0 references
cover
0 references
clover
0 references
completion
0 references
dcpo
0 references
