233
click to vote
AMAST
15 years 11 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...
202
Voted
AMAST
15 years 11 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...
208
click to vote
AMAST
15 years 11 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...
192
click to vote
AMAST
15 years 11 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...
180
click to vote
AMAST
15 years 11 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