178 search results - page 26 / 36 » Model Checking Concurrent Programs with Nondeterminism and R... |
138
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
153
Voted
PADL
2012
Springer
13 years 10 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
122
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
126
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
111
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...