Algebraic Techniques in Software Verification : Challenges and Opportunities.

Martin Brain Daniel Kroening Ryan McCleeary

Published in: SC²@SYNASC (2016)

Keyphrases

lessons learned
higher order
key issues
application scenarios
open issues
real world
computer vision
emerging technologies
real time
social networks
feature selection
information technology
algebraic structure