Project Submission and Presentation
If you did not submit your project yet, and did not schedule a project presentation, please contact us ASAP.
Shachar and Yakir
|פורסם ב- 7/9/2020, 18:48:14 Created on 7/9/2020, 18:48:14 Создано 7/9/2020, 18:48:14 تم النشر ب- 7/9/2020, 18:48:14|
This week's class
This week we will not have a lecture.
Instead we will do a Q&A for troubleshooting various problems you may have encountered in your projects while you were working with SeaHorn.
Please prepare questions and code snippets. You are also highly encouraged to share problems that you were able to solve yourself, in order for others to learn from your experience.
|פורסם ב- 24/5/2020, 19:47:27 Created on 24/5/2020, 19:47:27 Создано 24/5/2020, 19:47:27 تم النشر ب- 24/5/2020, 19:47:27|
SeaHorn and Docker
For tomorrow's session, please have Docker installed on your machines, and then install SeaHorn using Docker.
The instructions on how to install SeaHorn will be posted on Slack.
In addition, we will have the List example shown last week on Slack as well.
Please go over it, and try to verify it using SeaHorn. Again, the instructions will be posted on Slack.
|פורסם ב- 30/3/2020, 11:27:50 Created on 30/3/2020, 11:27:50 Создано 30/3/2020, 11:27:50 تم النشر ب- 30/3/2020, 11:27:50|
Correction: Slack invite link
|I have accidentally shared the link for the 236347 Slack workspace. The link for 234346 is different:|
Please re-join. Apologies.
|פורסם ב- 24/3/2020, 18:40:08 Created on 24/3/2020, 18:40:08 Создано 24/3/2020, 18:40:08 تم النشر ب- 24/3/2020, 18:40:08|
A Slack Workspace
|As part of an ongoing attempt to facilitate our collaboration in this current difficult setting, I also opened a Slack workspace for our project.|
It can be used to find partners and discuss general issues.
Joining the workspace requires a short subscription process, using the invite link:
|עדכון אחרון ב- 24/3/2020, 18:39:03 Last updated on 24/3/2020, 18:39:03 Последняя модификация 24/3/2020, 18:39:03 تمت الحتلنة الأخيرة ب- 24/3/2020, 18:39:03|
Opening the Spring Semester
|We still have high hopes of doing a verification project this semester.|
We will have our opening lecture on Zoom this Tuesday 16:30-18:30. Please use the link to join.
|פורסם ב- 21/3/2020, 22:34:04 Created on 21/3/2020, 22:34:04 Создано 21/3/2020, 22:34:04 تم النشر ب- 21/3/2020, 22:34:04|