1036 search results - page 67 / 208 » Verification Programs for Abduction |
114
Voted
IEE
2010
14 years 11 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
89
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
174
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
87
Voted
ICSE
2003
IEEE-ACM
16 years 27 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
115
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...