504 search results - page 1 / 101 » Explaining Verification Conditions |
AMAST
2008
Springer
15 years 7 days 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...
66
Voted
CAV
2007
Springer
15 years 2 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
ICDAR
2007
IEEE
15 years 2 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...
108
Voted
ARCS
2004
Springer
15 years 2 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...
58
Voted
CCS
2007
ACM
15 years 4 months ago
2007
ACM
