1138 search results - page 2 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
ATVA
2004
Springer
13 years 9 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
CAV
1998
Springer
13 years 9 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
FIW
2007
13 years 7 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
CSL
2007
Springer
13 years 11 months ago
2007
Springer
