1219 search results - page 28 / 244 » Verification of Equivalent-Results Methods |
144
click to vote
FORTE
2009
15 years 1 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
141
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...