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


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


  • Presentations referencing similar topics