1239 search results - page 32 / 248 » Applying Model Checking to Concurrent UML Models |
SOCA
2007
IEEE
14 years 3 months ago
2007
IEEE
CMSB
2009
Springer
14 years 3 months ago
2009
Springer
RISE
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...