285 search results - page 7 / 57 » Model Checking Contracts - A Case Study |
142
Voted
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
160
Voted
NIPS
2001
15 years 7 months ago
2001
Estimating insurance premia from data is a difficult regression problem for several reasons: the large number of variables, many of which are discrete, and the very peculiar shape...
193
Voted
UML
2005
Springer
15 years 11 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
184
Voted
ERSHOV
2009
Springer
15 years 3 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
132
Voted
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...