Automata-based termination proofs (Q4610086)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6856316
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automata-based termination proofs |
scientific article; zbMATH DE number 6856316 |
Statements
5 April 2018
0 references
formal verification
0 references
termination analysis
0 references
Büchi automata
0 references
tree automata
0 references
programs with pointers
0 references
0.9661063551902772
0 references
0.8487704396247864
0 references
0.7966787815093994
0 references
0.7846887707710266
0 references
0.7831771969795227
0 references
