anmaped/rmtld3synth

Stars
4
Rank 3,304,323 (Top 66 %)
Language
OCaml
License
Other
Created about 8 years ago
Updated over 4 years ago

anmaped/rmtld3synth

anmaped

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

Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.

openfang

The openfang is a bootloader, kernel and toolchain for devices using Ingenic T10 and T20 SOC

opaq

Opaq is an hardware and software project aware of the importance of the maintenance tasks of the fishkeepers day life. It is capable to connect with different proprietary devices, and to comunicate with a wide set of multi-purpose Opaq nodes for pond and aquarium systems.

rtmlib

A Real-Time Monitoring Library that supports runtime monitoring of safety-critical embedded systems through a lock-free and wait-free algorithm.

opaq-hardware

Opaq is an hardware and software project aware of the importance of the maintenance tasks of the fishkeepers day life. It is capable to connect with different proprietary devices, and to comunicate with a wide set of multi-purpose Opaq nodes for pond and aquarium systems.