supportsFormalism
P128534
predicate
Indicates that one entity endorses, advocates, or upholds a particular formal system, method, or formalist approach associated with another entity.
Sample triples (2)
| Subject | Object |
|---|---|
| FDR model checker | Communicating Sequential Processes NERFINISHED ⓘ |
| ProBE animator | Communicating Sequential Processes NERFINISHED ⓘ |