Online Enumeration of All Minimal Inductive Validity Cores (Q6039387)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Online Enumeration of All Minimal Inductive Validity Cores |
scientific article; zbMATH DE number 7682348
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Online Enumeration of All Minimal Inductive Validity Cores |
scientific article; zbMATH DE number 7682348 |
Statements
Online Enumeration of All Minimal Inductive Validity Cores (English)
0 references
5 May 2023
0 references
inductive validity cores
0 references
SMT-based model checking
0 references
inductive proofs
0 references
traceability
0 references
proof cores
0 references
0.87142384
0 references
0.8192117
0 references
0.81178826
0 references
0.8088733
0 references
0.8074522
0 references
0.8057455
0 references
0.80471754
0 references
