18 search results - page 1 / 4 » amast 2006 |
128
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
145
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
158
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
172
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
212
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...