3 search results - page 1 / 1 » An Improved Rule for While Loops in Deductive Program Verifi... |
ICFEM
2005
Springer
13 years 10 months ago
2005
Springer
SEFM
2009
IEEE
14 years 1 days ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
SAT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...