Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developer |
gptkb:University_of_Illinois_at_Urbana-Champaign
Grigore Roșu |
| https://www.w3.org/2000/01/rdf-schema#label |
K Framework
|
| gptkbp:license |
gptkb:BSD_License
|
| gptkbp:notableUser |
gptkb:Ethereum_Foundation
gptkb:DARPA gptkb:NASA gptkb:IOHK Runtime Verification Inc. |
| gptkbp:programmingLanguage |
gptkb:Java
gptkb:Haskell gptkb:Scala |
| gptkbp:purpose |
formal semantics
language design program verification |
| gptkbp:repository |
https://github.com/kframework/k
|
| gptkbp:supports |
defining executable semantics
defining formal analysis tools defining programming languages formal verification of smart contracts |
| gptkbp:usedFor |
model checking
program analysis symbolic execution automatic program verification defining semantics of C defining semantics of EVM defining semantics of Java defining semantics of JavaScript defining semantics of LLVM IR formalizing semantics of programming languages |
| gptkbp:website |
https://kframework.org/
|
| gptkbp:bfsParent |
gptkb:Runtime_Verification
|
| gptkbp:bfsLayer |
7
|