doganulus/AMS-Verify

This repository has been archived on 18/Feb/2021
Stars
2
Language
Python
License
GNU General Publi...
Created about 11 years ago
Updated almost 11 years ago

doganulus/AMS-Verify

doganulus

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology.

reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

python-monitors

A pure Python package to monitor formal specifications over temporal sequences

montre

The original timed regular expression matcher over temporal behaviors

reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

timescales

A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

scalr

std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17

timedrel

A header-only C++ library that implements the algebra of timed relations + Python bindings

awsim-container

container-unison

A containerized unison service with systemd