i3m4 Promotion Video:

 

Needle Steering Experiments:

 

Needle Steering Experiments - long version:

 

Sefi Presentation:
Designing and analyzing open application-oriented Labs in Software Verification Education