1463 search results - page 80 / 293 » Model Checking Implicit-Invocation Systems |
198
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
114
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
137
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
120
click to vote
PST
2008
15 years 3 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
132
click to vote
DC
2010
15 years 1 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...