Differences

This shows you the differences between two versions of the page.

--- bsr-ws2016:handson [2016/10/12 18:05]
nour.assy created
+++ bsr-ws2016:handson [2017/02/20 14:57]
nour.assy [3rd session on Thursday, October 27]
@@ Line 32: / Line 32: @@
   * **Requirements**: Prior knowledge in software analytics, data science and/or business process management (BPM) is preferred but not required.
+\\
+====2nd session on Tuesday, October 25====
+  * **Organizer**: Delft University of Technology
+  * **Session title**: Active automata learning
+  * **Session chair**: Sicco Verwer.
+  * **Session lecturers**: Sicco Verwer
+  * **Objectives**: to be annouced
+\\
+====3rd session on Thursday, October 27====
+  * **Organizer**: Formal Methods and Tools (FMT) research group at the UT (http://fmt.cs.utwente.nl/). The FMT group develops and uses formal techniques and tools as means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques.
+  * **Session title**: Program verification
+  * **Session chair**: Jaco van de Pol
+  * **Session lecturers**: Jaco van de Pol with Arnd Hartmanns, Vincent Bloemen, and Freark van der Berg
+  * **Objectives**: This session is concerned with static verification of programs, which is related to the lecture on Reliable Concurrent Software by Prof. Marieke Huisman on Thursday 27th from 14:00 to 15:30. In the first part of the session, you will learn how static verification can be used in practice to verify the functional correctness of programs. The online tool "Dafny" is used to demonstrate this. In the second part of the session, you will get hands-on experience with Dafny and put the verification techniques in practice to solve several challenging problems. At the end of the session, you will be able to formally reason about the functional behavior of a program and proof its correctness.
+  * **Tools & installation instructions**: We will use the latest version of the online "Dafny" tool. It is available at http://rise4fun.com/Dafny and can be used directly from the browser. Please note that internet access is required for using Dafny.
+  * **Requirements**: Prior knowledge in formal verification is preferred but not required.
 ----
@@ Line 37: / Line 69: @@
 <WRAP group>
 <WRAP class center quarter column>
-[[https://www.tue.nl/|{{ :bsr-ws2016:tue.png?90 }}]]
+[[https://www.tue.nl/|{{:bsr-ws2016:tue.png?80 }}]]
 </WRAP>
 <WRAP class center quarter column>
-[[http://tudelft.nl/en/|{{ :bsr-ws2016:tud.png?100 }}]]
+[[http://tudelft.nl/en/|{{:bsr-ws2016:tud.png?100 }}]]
 </WRAP>
 <WRAP class center quarter column>
-[[https://www.utwente.nl/en/|{{ :bsr-ws2016:ut.png?200 }}]]
+[[https://www.utwente.nl/en/|{{:bsr-ws2016:ut.png?110 }}]]
 </WRAP>
 <WRAP class center quarter column>
-[[https://www.3tu.nl/nirict/en/|{{ :bsr-ws2016:nirict.jpg?150 }}]]
+[[https://www.3tu.nl/nirict/en/|{{:bsr-ws2016:nirict.jpg?110 }}]]
 </WRAP>
 </WRAP>