Projects | Open Source Science

Projects

Updated 9 months ago

key • Science 39%

KeY Theorem Prover for Deductive Java Verification

formal-verification key smt-solver static-analysis

Updated 9 months ago

esbmc • Science 49%

The efficient SMT-based context-bounded model checker (ESBMC)

automated-testing automated-verification bmc c cheri cp-solver cpp incremental-learning k-induction kotlin python smt-solver solidity-contracts