Efficient coverability analysis by proof minimization
We consider multi-threaded programs with an unbounded number of threads executing a finite-state, non-recursive procedure. Safety properties of such programs can be checked via reduction to the coverability problem for well-structured transition systems (WSTS). In this paper, we present a novel, sou...
| Päätekijät: | , , |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Conference item |
| Julkaistu: |
Springer
2012
|
Samankaltaisia teoksia
Model and proof generation for heap-manipulating programs
Tekijä: Brain, M, et al.
Julkaistu: (2014)
Tekijä: Brain, M, et al.
Julkaistu: (2014)