6608 search results - page 273 / 1322 » On the Completeness of Model Checking |
159
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
150
click to vote
CICLING
2007
Springer
16 years 5 days ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
160
click to vote
FMICS
2007
Springer
16 years 5 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
137
click to vote
ACL
2006
15 years 7 months ago
2006
A web search with double checking model is proposed to explore the web as a live corpus. Five association measures including variants of Dice, Overlap Ratio, Jaccard, and Cosine, ...
159
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...