3 search results - page 1 / 1 » An Improved Rule for While Loops in Deductive Program Verifi... |
ICFEM
2005
Springer
14 years 11 months ago
2005
Springer
SEFM
2009
IEEE
15 years 22 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
15 years 3 days 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...