32032 search results - page 6 / 6407 » Verified programming in Guru |
137
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
133
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
128
click to vote
AAMAS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
117
Voted
ECOOP
2011
Springer
14 years 3 months ago
2011
Springer
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
158
Voted
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...