Algebraic Techniques in Software Verification : Challenges and Opportunities
One of the main application areas and driving forces behind the development of Satisfiability Modulo Theory (SMT) solvers is software verification. The requirements of software verification are somewhat different to other applications of automated reasoning, posing a number of challenges but also pr...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
2016
|