Exploració per tema "Invariant generations"
Ara es mostren els items 1-1 de 1
-
Speeding up the constraint-based method in difference logic
(2016)
Text en actes de congrés
Accés obertOver the years the constraint-based method has been successfully applied to a wide range of problems in program analysis, from invariant generation to termination and non-termination proving. Quite often the semantics of ...