Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:company
|
gptkbp:focusesOn |
distributed systems
formal methods blockchain security |
gptkbp:foundedIn |
2018
|
gptkbp:headquartersLocation |
gptkb:Toronto,_Canada
|
https://www.w3.org/2000/01/rdf-schema#label |
Informal Systems
|
gptkbp:industry |
gptkb:cryptocurrency
formal verification |
gptkbp:notableProject |
gptkb:Cosmos
gptkb:Tendermint gptkb:IBC_(Inter-Blockchain_Communication) |
gptkbp:parentOrganization |
gptkb:Interchain_Foundation
|
gptkbp:website |
https://informal.systems/
|
gptkbp:bfsParent |
gptkb:Apalache
|
gptkbp:bfsLayer |
7
|