12 search results - page 3 / 3 » Deciding Boolean Algebra with Presburger Arithmetic |
143
Voted
IPL
2007
15 years 3 months ago
2007
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...
165
Voted
VMCAI
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...