162
click to vote
AMAST
15 years 6 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...
116
Voted
AMAST
15 years 6 months ago
2006 Springer 
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
119
Voted
AMAST
15 years 6 months ago
2006 Springer 
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
107
Voted
AMAST
15 years 6 months ago
2006 Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
107
click to vote
AMAST
15 years 6 months ago
2006 Springer 
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
|
Software Engineering