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
|