Prenex universal first-order safety properties (Q6551713)
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: Prenex universal first-order safety properties |
scientific article; zbMATH DE number 7861413
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Prenex universal first-order safety properties |
scientific article; zbMATH DE number 7861413 |
Statements
Prenex universal first-order safety properties (English)
0 references
7 June 2024
0 references
parametric systems
0 references
first-order transition system
0 references
first-order safety LTL
0 references
decidability
0 references
automatic theorem proving
0 references
formal methods
0 references
program correctness
0 references
