475 search results - page 52 / 95 » Temporal Logic Model Checking (Abstract) |
107
click to vote
JANCL
2007
15 years 1 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
100
click to vote
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
114
click to vote
GCB
2009
Springer
14 years 11 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
124
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...