There are no reviews yet. Be the first to send feedback to the community and the maintainers!
openfang
The openfang is a bootloader, kernel and toolchain for devices using Ingenic T10 and T20 SOCrmtld3synth
Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.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.Love Open Source and this site? Check out how you can help us