3 search results - page 1 / 1 » Ensuring the satisfaction of a temporal specification at run... |
ICECCS
1995
IEEE
13 years 8 months ago
1995
IEEE
HICSS
2005
IEEE
13 years 10 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...