The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. Subtitle 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings.