Abstract logical model checking of infinite-state systems using narrowing (Q2958376)
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 6679817
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstract logical model checking of infinite-state systems using narrowing |
scientific article; zbMATH DE number 6679817 |
Statements
1 February 2017
0 references
model checking
0 references
infinite states
0 references
rewrite theories
0 references
narrowing
0 references
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing (English)
0 references
0.8832249045372009
0 references
0.8642536401748657
0 references
0.7947745323181152
0 references
0.7848063111305237
0 references
0.7731223106384277
0 references
