442 search results - page 5 / 89 » Proof Abstraction for Imperative Languages |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
117
Voted
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
101
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...