Jean-Christophe DUBOIS's repositories
BatteryMonitor
Python code to monitor and log battery data
BMS_Software
Firmware for LibreSolar BMS boards based on bq769x0
cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
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.
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Plop_Flutter
An aquarium management app written in dart for Android and iOS
reliance-edge
File System for Decision-Quality Data at the Edge of the IoT
Language:CApache-2.0000
Language:CApache-2.0000
Language:CApache-2.0000
Apache-2.0000
xvisor-next
eXtensible Versatile hypervISOR