219 search results - page 7 / 44 » Dynamic partial-order reduction for model checking software |
114
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
110
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
146
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
114
Voted
SEFM
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
145
Voted
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...