2520 search results - page 113 / 504 » Model-checking behavioral programs |
103
click to vote
RTA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
117
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
109
click to vote
PRICAI
2004
Springer
15 years 6 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...
93
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
100
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...