Algebraic Techniques in Software Verification : Challenges and Opportunities.

Martin Brain, Daniel Kroening, Ryan McCleeary

Browse the full SYNASC paper archive.