Project Submission and Presentation | |
Hello all, If you did not submit your project yet, and did not schedule a project presentation, please contact us ASAP. Thanks, 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 | |
Hello, 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 | |
Dear students, 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: https://join.slack.com/t/cstech236346/shared_invite/zt-d1ydapgw-0pccA8fW~uMJR4yjFYWNMg 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: https://join.slack.com/t/cstech236346/shared_invite/zt-d1ydapgw-0pccA8fW~uMJR4yjFYWNMg |
עדכון אחרון ב-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. https://technion.zoom.us/j/8136977234 |
פורסם ב-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 |