Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
More
(Online) Virtual needle steering
Interfacing the Real-Time Model Checker Uppaal
Cyber-physical needle steering setup
(Online) Strategy synthesis
Models
Videos
STS > Research > Model Checking & Abstract Interpretation > Videos
| back to Model Checking of Automated Needle Steering |

i3m4 Promotion Video:

 

Needle Steering Experiments:

 

Needle Steering Experiments - long version:

 

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

 

 

 

TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz