#Automated-verification

Showing 1 of 1 repositories tagged #automated-verification, ranked by stars

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

★ 493 ⑂ 140 +2/day

Related Topics

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