A topological characterization of weakness (Q5177218)
From MaRDI portal
scientific article; zbMATH DE number 6413424
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A topological characterization of weakness |
scientific article; zbMATH DE number 6413424 |
Statements
A topological characterization of weakness (English)
0 references
10 March 2015
0 references
liveness
0 references
safety
0 references
safety component
0 references
semantically weak and strong formulas
0 references
syntactically weak and strong formulas
0 references
temporal weakness and strength
0 references
weak and strong components
0 references
