Update README

README.md

@@ -1,7 +1,9 @@
-# vcs-ci-lab
-This is a sample application for the version control systems and continuous integration laboratory.
+# verification-lab
+
+This is a sample application for the verification laboratory.
 
 ## Overview
+
 The application represents a simple train controller system with the following three components.
 
 * Sensor: The sensor can detect the change in the speed limit of the track and can signal in such cases to the controller.
@@ -12,4 +14,4 @@ Setting the reference speed of the train works in the following way. The user ca
 
 ![speed example](doc/speed_example.png)
 
-First, the reference speed and the joystick is both at zero. At the first time unit, the joystick is set to a positive value, thus the reference speed is also incremented. As the joystic remains at a positive value, the reference speed is incremented again. However, it reaches the speed limit so in the next step it is not incremented even though the joystick still has a positive value. Later, the joystick is set to a negative position for one time unit, making the reference speed to decrease as well.
+First, the reference speed and the joystick is both at zero. At the first time unit, the joystick is set to a positive value, thus the reference speed is also incremented. As the joystick remains at a positive value, the reference speed is incremented again. However, it reaches the speed limit so in the next step it is not incremented even though the joystick still has a positive value. Later, the joystick is set to a negative position for one time unit, making the reference speed to decrease as well.