1492 search results - page 87 / 299 » Automatic Software Model Checking Using CLP |
114
click to vote
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
109
click to vote
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
122
click to vote
ISSTA
1996
ACM
15 years 5 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
124
click to vote
ISSA
2004
15 years 3 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
114
click to vote
ICESS
2005
Springer
15 years 7 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...