#30929To verify hardware designs by model checking, circuit specifications are commonly expressed in the temporal logic CTL.
other,5-1-P99-1058,ak
verify
<term>
hardware designs
</term>
by
<term>
model checking
</term>
,
<term>
circuit specifications
</term>
#30932To verify hardware designs by model checking, circuit specifications are commonly expressed in the temporal logic CTL.
other,8-1-P99-1058,ak
</term>
by
<term>
model checking
</term>
,
<term>
circuit specifications
</term>
are commonly expressed in the
<term>
#30935To verify hardware designs by model checking, circuit specifications are commonly expressed in the temporal logic CTL.
other,15-1-P99-1058,ak
</term>
are commonly expressed in the
<term>
temporal logic CTL
</term>
.
<term>
Automatic conversion
</term>
#30942To verify hardware designs by model checking, circuit specifications are commonly expressed in the temporal logic CTL.
tech,0-2-P99-1058,ak
the
<term>
temporal logic CTL
</term>
.
<term>
Automatic conversion
</term>
of
<term>
English
</term>
to
<term>
CTL
#30946To verify hardware designs by model checking, circuit specifications are commonly expressed in the temporal logic CTL. Automatic conversion of English to CTL requires the definition of an appropriately restricted subset of English.
other,3-2-P99-1058,ak
<term>
Automatic conversion
</term>
of
<term>
English
</term>
to
<term>
CTL
</term>
requires the definition
#30949Automatic conversion of English to CTL requires the definition of an appropriately restricted subset of English.
other,5-2-P99-1058,ak
conversion
</term>
of
<term>
English
</term>
to
<term>
CTL
</term>
requires the definition of an appropriately
#30951Automatic conversion of English to CTL requires the definition of an appropriately restricted subset of English.
other,12-2-P99-1058,ak
the definition of an appropriately
<term>
restricted subset
</term>
of
<term>
English
</term>
. We show how
#30958Automatic conversion of English to CTL requires the definition of an appropriately restricted subset of English.
other,15-2-P99-1058,ak
appropriately
<term>
restricted subset
</term>
of
<term>
English
</term>
. We show how the limited
<term>
semantic
#30961Automatic conversion of English to CTL requires the definition of an appropriately restricted subset of English .
other,5-3-P99-1058,ak
English
</term>
. We show how the limited
<term>
semantic expressibility
</term>
of
<term>
CTL
</term>
can be exploited
#30968We show how the limited semantic expressibility of CTL can be exploited to derive a hierarchy of subsets.
other,8-3-P99-1058,ak
<term>
semantic expressibility
</term>
of
<term>
CTL
</term>
can be exploited to derive a hierarchy
#30971We show how the limited semantic expressibility of CTL can be exploited to derive a hierarchy of subsets.
other,17-3-P99-1058,ak
exploited to derive a hierarchy of
<term>
subsets
</term>
. Our strategy avoids potential
#30980We show how the limited semantic expressibility of CTL can be exploited to derive a hierarchy of subsets .
tech,10-4-P99-1058,ak
with approaches that take existing
<term>
computational semantic analyses
</term>
of
<term>
English
</term>
as their starting
#30992Our strategy avoids potential difficulties with approaches that take existing computational semantic analyses of English as their starting point--such as the need to ensure that all sentences in the subset possess a CTL translation.
other,14-4-P99-1058,ak
computational semantic analyses
</term>
of
<term>
English
</term>
as their starting point -- such
#30996Our strategy avoids potential difficulties with approaches that take existing computational semantic analyses of English as their starting point--such as the need to ensure that all sentences in the subset possess a CTL translation.
other,28-4-P99-1058,ak
such as the need to ensure that all
<term>
sentences
</term>
in the
<term>
subset
</term>
possess
#31010Our strategy avoids potential difficulties with approaches that take existing computational semantic analyses of English as their starting point--such as the need to ensure that all sentences in the subset possess a CTL translation.
other,31-4-P99-1058,ak
that all
<term>
sentences
</term>
in the
<term>
subset
</term>
possess a
<term>
CTL translation
</term>
#31013Our strategy avoids potential difficulties with approaches that take existing computational semantic analyses of English as their starting point--such as the need to ensure that all sentences in the subset possess a CTL translation.
other,34-4-P99-1058,ak
in the
<term>
subset
</term>
possess a
<term>
CTL translation
</term>
. This paper presents a new method
#31016Our strategy avoids potential difficulties with approaches that take existing computational semantic analyses of English as their starting point--such as the need to ensure that all sentences in the subset possess a CTL translation.