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".