3224 search results - page 329 / 645 » On Checking Model Checkers |
153
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
172
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
184
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
144
click to vote
JWE
2006
15 years 6 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
196
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...