Backward reachability of array-based systems by SMT solving: termination and invariant synthesis (Q3081445)
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 5862393
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Backward reachability of array-based systems by SMT solving: termination and invariant synthesis |
scientific article; zbMATH DE number 5862393 |
Statements
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis (English)
0 references
8 March 2011
0 references
infinite-state model checking
0 references
satisfiability modulo theories
0 references
backward reachability
0 references
invariant synthesis
0 references
safety problem
0 references
0.814541220664978
0 references
0.8077532649040222
0 references
0.8059809803962708
0 references
0.7989282011985779
0 references
0.7921621799468994
0 references
