20 search results - page 1 / 4 » forte 2010 |
FORTE
2010
13 years 6 months ago
2010
FORTE
2010
13 years 6 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
CCGRID
2010
IEEE
13 years 5 months ago
2010
IEEE
FORTE
2010
13 years 6 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
FORTE
2010
13 years 6 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...