Pinned Repositories
cbmc
C Bounded Model Checker
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
cbmc
C Bounded Model Checker
coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
fastsynth
hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
java-demo
Demonstration project for Java analysis
mockito
Most popular Mocking framework for unit tests written in Java
mockito
Most popular Mocking framework for unit tests written in Java
xxl-job
A distributed task scheduling framework.（分布式任务调度平台XXL-JOB）
kroening's Repositories
kroening/fastsynth
kroening/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
kroening/cbmc
C Bounded Model Checker
kroening/coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
kroening/hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
kroening/java-demo
Demonstration project for Java analysis
kroening/mockito
Most popular Mocking framework for unit tests written in Java