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