42 search results - page 1 / 9 » Building Verification Condition Generators by Compositional ... |
ENTCS
2007
13 years 8 months ago
2007
AMAST
2008
Springer
13 years 10 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...
JSW
2006
13 years 8 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...