Demo : System Testing with S-TaLiRo : Recent Functionality and Additions

Abstract

In this demo, we will demonstrate the latest features of S-TaLiRo, a modular software tool that provides various methods of testing and verification of hybrid systems. Demo Setup: We will bring a laptop and show how to use S-TaLiRo with different benchmark examples. We will also demonstrate the specification elicitation tool ViSpec. 

1 Figure or Table

Topics

  • Presentations referencing similar topics