Entoli Enters Closed Testing
Entoli, our private client-side assistant with Byte Repair inside, is entering closed testing on Android. Here is what it is, what it stands for, and how to join.
Read Full ArticleLatest News
Stay updated with the latest developments in automated code analysis, formal verification, and our journey toward safer software
Verifying ESBMC With Itself
Byte Repair is the first tool to formally verify the ESBMC Operational Model; work that will improve ESBMC's accuracy and reduce false results from edge cases.
Read Full ArticleClimb UK 25
We are going to visit and present at Climb UK.
Read Full Article