1116 search results - page 163 / 224 » Applying Predicate Abstraction to Abstract State Machines |
DSRT
2009
IEEE
15 years 3 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
CONCUR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
119
click to vote
ENTCS
2007
14 years 11 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
109
click to vote
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Learning dynamical systems is one of the important problems in many fields. In this paper, we present an algorithm for learning non-linear dynamical systems which works...
106
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...