Martin Brain, Daniel Kroening, Ryan McCleeary: Algebraic Techniques in Software Verification : Challenges and Opportunities. SC²@SYNASC 2016: 8-12