Program-analysis-based validation infracstructure for ROS (demonstrator, supported by a report) version 1.

This work is structurally parallel to Task 3.2 and addresses the same issues, using a separate set of highly novel methods: static analysis methods (as opposed to dynamic testing). If the expected research results are achieved, these novel methods will result in a more complete coverage of the state space, meaning that potential errors are much more likely to be found.