18 search results - page 1 / 4 » amast 2006 |
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
AMAST
2006
Springer
13 years 9 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 ...
AMAST
2006
Springer
13 years 9 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...
AMAST
2006
Springer
13 years 9 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...