790 search results - page 1 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
FM
2008
Springer
13 years 6 months ago
2008
Springer
Modal
JOT
2008
13 years 4 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
FMICS
2009
Springer
13 years 8 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...