HARPTech

Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.

Python 1MIT 0 0 0 Updated Jan 8, 2019

RTest Public

Visualisation tool and testing environment for Regulation Kernels. This repository is a public mirror, Pull-Requests will be merged manually.

C++ 1MIT 0 0 0 Updated Jan 7, 2019

RBase Public

Base library for the VERNER software stack. This repository is a public mirror, pull requests will be merged manually.

C++ 0MIT 0 0 0 Updated Jan 7, 2019

RCore Public

Central definition and C-implementation of RComm communication protocol for all components of the VERNER platform.

C 0 0 0 0 Updated Jan 7, 2019

A standalone and lightweight C library

C 0 657 0 0 Updated Aug 31, 2018

Navigation Menu