1492 search results - page 36 / 299 » Automatic Software Model Checking Using CLP |
108
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
134
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
117
click to vote
TSE
2010
14 years 12 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
107
click to vote
HYBRID
1995
Springer
15 years 5 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...