2514 search results - page 364 / 503 » The use of industrial-strength formal methods |
186
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
146
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
170
click to vote
ICAT
2006
IEEE
16 years 14 days ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
160
click to vote
ECBS
2005
IEEE
16 years 1 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
197
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...