Published on July 21, 2016.

BTC talks at SC2 workshop

September 24, 2016

BTC Embedded Systems will give two talks at the first international workshop on Satisfiability Checking and Symbolic Computation (FETOPEN-CSA) SC2 2016 in Timisoara, Romania. The talks will be "Accurate dead code detection in embedded C Code by arithmetic constraint solving" and the second one "Satisfaction Meets Practice and Confidence".