4126 search results - page 362 / 826 » Set based logic programming |
156
click to vote
SCP
2010
15 years 3 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
134
click to vote
TSC
2010
14 years 11 months ago
2010
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
120
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
151
click to vote
POPL
2012
ACM
14 years 11 days ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
116
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...