1239 search results - page 53 / 248 » Applying Model Checking to Concurrent UML Models |
139
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
108
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
143
click to vote
TABLEAUX
1998
Springer
15 years 6 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
117
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...