1895 search results - page 328 / 379 » Using ATL for Checking Models |
133
Voted
ICTAC
2009
Springer
15 years 2 days ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
226
click to vote
ICDE
2002
IEEE
16 years 3 months ago
2002
IEEE
Matching elements of two data schemas or two data instances plays a key role in data warehousing, e-business, or even biochemical applications. In this paper we present a matching...
103
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
215
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
130
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...