217 search results - page 14 / 44 » Automatic Termination |
108
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
124
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
155
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
110
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
60
Voted
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
Many diseases affect blood vessel morphology. This report analyzes vessel attributes (tortuosity, vessel density, radius, and terminal branch count) within 5 malignant gliomas as s...