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: | Brain, M, Kroening, D, McCleeary, R |
---|---|
Format: | Conference item |
Published: |
2016
|
Similar Items
-
Dualized Simple Type Theory
by: Harley Eades III, et al.
Published: (2017-04-01) -
A Survey of Automated Techniques for Formal Software Verification.
by: D'Silva, V, et al.
Published: (2008) -
A Survey of Automated Techniques for Formal Software Verification
by: D'Silva, V, et al.
Published: (2008) -
A survey of automated techniques for formal software verification
by: D'Silva, V, et al.
Published: (2008) -
Formal techniques for effective co-verification of hardware/software co-designs
by: Mukherjee, R, et al.
Published: (2017)