2302 search results - page 31 / 461 » The Evolution of Concurrent Programs |
117
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
106
click to vote
FOSAD
2009
Springer
15 years 6 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
116
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
104
click to vote
CEEMAS
2003
Springer
15 years 7 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...