supportsSpecificationLanguage
3
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:NuSMV | gptkb:CTL |
| gptkb:NuSMV | gptkb:SMV_language |
| gptkb:NuSMV | LTL |