4 search results - page 1 / 1 » AsmL Specification and Verification of Lamport's Bakery Algo... |
CIT
2005
Springer
13 years 5 months ago
2005
Springer
CAV
2007
Springer
13 years 9 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
ACTA
2006
13 years 5 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...