1895 search results - page 328 / 379 » Using ATL for Checking Models |
118
click to vote
ICTAC
2009
Springer
14 years 10 months 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,...
210
click to vote
ICDE
2002
IEEE
16 years 1 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...
87
Voted
SIGSOFT
2005
ACM
16 years 1 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...
189
Voted
POPL
2007
ACM
16 years 27 days 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 ...
111
click to vote
CADE
2008
Springer
16 years 27 days 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...