Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:foundedYear |
2010
|
| gptkbp:founder |
gptkb:Grigore_Rosu
|
| gptkbp:headquartersLocation |
gptkb:Urbana,_Illinois,_United_States
|
| https://www.w3.org/2000/01/rdf-schema#label |
Runtime Verification
|
| gptkbp:industry |
software verification
|
| gptkbp:notableClient |
gptkb:Ethereum_Foundation
gptkb:NASA gptkb:IOHK |
| gptkbp:notableProject |
gptkb:KEVM
gptkb:K_Framework gptkb:IELE |
| gptkbp:specializesIn |
gptkb:cryptocurrency
formal methods runtime verification |
| gptkbp:website |
https://runtimeverification.com/
|
| gptkbp:bfsParent |
gptkb:Alchemix
gptkb:Angle_Protocol gptkb:IELE |
| gptkbp:bfsLayer |
6
|