Metadata-Version: 1.1
Name: STLInspector
Version: 1.1.0
Summary: Systematic validation of Signal Temporal Logic (STL) specifications against informal textual requirements.
Home-page: https://github.com/STLInspector/STLInspector
Author: Eva Charlotte Mayer, Hendrik Roehm
Author-email: eva-charlotte.mayer@posteo.de, git@roehm.ws
License: Apache License 2.0
Description: UNKNOWN
Platform: UNKNOWN
Classifier: Development Status :: 4 - Beta
Classifier: Environment :: Web Environment
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 2.7
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development
