1463 search results - page 239 / 293 » Model Checking Implicit-Invocation Systems |
141
click to vote
TIME
2003
IEEE
15 years 6 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
112
click to vote
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
134
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
AAAI
2007
15 years 3 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
108
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...