All Categories → No Category → formal-semantics

Top 1 formal-semantics open source projects

Formal semantics of LLVM IR in K

✭ 42

LLVM research llvm formal-semantics formal-methods llvm-ir plt k-framework

1-1 of 1 formal-semantics projects