1239 search results - page 26 / 248 » Applying Model Checking to Concurrent UML Models |
EDCC
2010
Springer
14 years 11 days ago
2010
Springer
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
IWFM
2000
13 years 9 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
ADVIS
2006
Springer
14 years 1 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...