5015 search results - page 1 / 1003 » Model Checking a Path |
IPL
2006
13 years 11 months ago
2006
We investigate the path model checking problem for the
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
CONCUR
2004
Springer
14 years 4 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
14 years 4 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
14 years 4 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” ...