Leveraging Applications of Formal Methods, Verification, and Validation

by Reiner Hähnle

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Wor…