1492 search results - page 47 / 299 » Automatic Software Model Checking Using CLP |
118
click to vote
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
101
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
103
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
ENTCS
2007
15 years 1 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
106
click to vote
ICFEM
2010
Springer
15 years 1 days ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...