LARA

Project presentations

Presentations will take place from 9:00am - 12:00pm in INR113. Note the different room and time.

Each group will have 20min including questions.

Schedule

9:00 Defining and Validating Business Specification Using Leon (Gorica)
9:20 String and List concatenations (Véra & Dinis)
9:40 Templates in Function Postconditions (Ravi)
10:00 Proving Correctness of Scala List Data Structure (Nicolas & Johann)
10:20 Proof carrying codes (Bruno & Romain)
10:40 Online Learning in InSynth (Tong)
11:00 Higher Order Functions (Nicolas)
11:20 Comparison of Leon, Why3 and Dafny (Denys)