1492 search results - page 123 / 299 » Automatic Software Model Checking Using CLP |
IEAAIE
2005
Springer
15 years 3 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
107
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...