854 search results - page 24 / 171 » Addressing Dynamic Issues of Program Model Checking |
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
116
click to vote
EOR
2006
15 years 2 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
107
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
122
Voted
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
116
click to vote
BTW
2003
Springer
15 years 7 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...