Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:acquiredBy |
gptkb:Facebook
|
| gptkbp:acquisitionYear |
2013
|
| gptkbp:country |
gptkb:United_Kingdom
|
| gptkbp:foundedIn |
2009
|
| gptkbp:headquartersLocation |
gptkb:London
|
| https://www.w3.org/2000/01/rdf-schema#label |
Monoidics
|
| gptkbp:industry |
gptkb:software
|
| gptkbp:notableProduct |
Infer
|
| gptkbp:specializesIn |
formal verification
static analysis |
| gptkbp:website |
http://www.monoidics.com/
|
| gptkbp:bfsParent |
gptkb:Peter_O'Hearn
|
| gptkbp:bfsLayer |
6
|