Automated Technology for Verification and Analysis (Q5394194)
From MaRDI portal
scientific article; zbMATH DE number 5067791
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Technology for Verification and Analysis |
scientific article; zbMATH DE number 5067791 |
Statements
Automated Technology for Verification and Analysis (English)
0 references
25 October 2006
0 references
reachability set
0 references
unbounded heterogeneous data
0 references
composition of symbolic representations and acceleration methods
0 references
