model-checking/cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
PythonApache-2.0
Stargazers
- alexoltean61@Pi-Squared-Inc
- CBK1234567891y
- cnyondy
- dzmitry-lahodaportugal
- feliperodriAmazon Web Services @aws
- Gary-oak-Star
- h-inoue
- harmimOracle NetSuite AI
- ikitayamaKyushu Tech University
- jaisnan
- Jerry-zhxf
- jevinskieLafayette, Indiana
- kikishao
- Krebrov001
- ligurio
- MihalczGaborEgyéni vállalkozó
- mmueslyTU Dortmund
- nwetzler@aws
- odkrUniversity of Vienna
- pengjianaixueChengdu
- pennyanUniversity of British Columbia
- rafaelsamenezesThe University of Manchester
- SeshatCZCzech republic
- Skyluker4The University of Arkansas
- ssoudanSan Jose, CA
- tobireinhardKU Leuven
- tony-josi-aws@aws Amazon Web Services
- vecchiot-aws
- will62794
- wolverian@reaktor
- xiddw@amzn
- zhanghongceHong Kong University of Science and Technology (Guangzhou)