245 search results - page 19 / 49 » Verifying networked programs using a model checker extension |
101
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
CAV
2007
Springer
15 years 6 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
110
click to vote
ASE
2005
14 years 11 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
123
click to vote
ACSC
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we aim to infer a model of genetic networks from time series data of gene expression profiles by using a new gene expression programming algorithm. Gene expression n...
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...