2488 search results - page 237 / 498 » An improvement in formal verification |
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
108
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
108
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
214
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...