504 search results - page 1 / 101 » Explaining Verification Conditions |
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
CAV
2007
Springer
13 years 8 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
ICDAR
2007
IEEE
13 years 8 months ago
2007
IEEE
In this paper, a new method for off-line writer verification and identification is proposed which encodes writer features as a mix of typical handwriting styles, written by so-cal...
ARCS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
CCS
2007
ACM
13 years 10 months ago
2007
ACM
