1239 search results - page 42 / 248 » Applying Model Checking to Concurrent UML Models |
139
click to vote
SPIN
2012
Springer
13 years 4 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
103
click to vote
SPIN
2010
Springer
15 years 8 days ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
151
click to vote
WIFT
1998
IEEE
15 years 6 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
89
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Business
134
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...