We present a context-sensitive, flow-sensitive, field-sensitive, and intraprocedurally path-sensitive static analysis capable of verifying finite-state safety properties of very large systems. Unusually for finitestate property verifiers, our system analyzes functions separately, and it is this feature that enables scalability. We evaluate an implementation of our analysis by trying to verify t...

Component-based design is widely used in embedded software design, where a new component can be generated by composing existing components. However a composition does not always generate a valid component. We define a composition to be valid with respect to a property if the composition preserves that property under certain context. In order to reason about whether a composition is valid, we ne...

background: in the case of sensitive questions such as number of alcoholics known, majority of respondents might give an answer of zero. poisson regression model (p) is the standard tool to analyze count data. however, p provides poor fit in the case of zero inflated counts, when over-dispersion exists. therefore, the questions to be addressed are to compare performance of alternative count reg...