There is a newer version of the record available.

Published May 7, 2022 | Version v1
Conference paper Open

STLmc: Robust STL Model Checking of Hybrid Systems using SMT

Authors/Creators

  • 1. POSTECH

Description

We present the STLmc model checker for signal temporal logic (STL) properties of hybrid systems. This file contains VirtualBox image for the STLmc tool.

Files

Files (4.2 GB)

Name Size
md5:77cf43115bd6d2993b8c91cd17f23f3d
4.2 GB Download