5015 search results - page 1 / 1003 » Model Checking a Path |
IPL
2006
13 years 4 months ago
2006
We investigate the path model checking problem for the
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
13 years 10 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...