1715 search results - page 123 / 343 » Domain-Specific Program Checking |
137
click to vote
IFM
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
128
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
212
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
210
click to vote
CC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
106
click to vote
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...