Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\) (Q2324189)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\) |
scientific article |
Statements
Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\) (English)
0 references
16 September 2019
0 references
