Tweag I/O - software innovation labWe bring together experts in distributed systems, compilers and formal methods to build scalable designs at the lowest complexity budget. Bugs are tedious to spot. So we build programs that find bugs in other programs. State what behaviours you want - we'll automate the rest. We have your back with millions of test cases generated on-the-fly and automatic analysis at every save. That lets you cont
