Sciweavers

ACTA   2010
Wall of Fame | Most Viewed ACTA-2010 Paper
ACTA
2010
191views more  ACTA 2010»
14 years 18 days ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source191
2Download preprint from source117
3Download preprint from source109
4Download preprint from source104
5Download preprint from source91
6Download preprint from source87
7Download preprint from source81