Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (Q5172643)
From MaRDI portal
scientific article; zbMATH DE number 6397677
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation |
scientific article; zbMATH DE number 6397677 |
Statements
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (English)
0 references
4 February 2015
0 references