https://github.com/Componolit/gneiss

Framework for platform-independent SPARK components
https://github.com/Componolit/gneiss

ada component-based embedded formal-methods formal-verification spark

Last synced: about 2 months ago
JSON representation

Framework for platform-independent SPARK components

• Host: GitHub
• URL: https://github.com/Componolit/gneiss
• Owner: Componolit
• License: agpl-3.0
• Archived: true
• Created: 2019-02-26T09:01:00.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-08-28T16:42:02.000Z (over 4 years ago)
• Last Synced: 2024-07-31T20:32:01.776Z (5 months ago)
• Topics: ada, component-based, embedded, formal-methods, formal-verification, spark
• Language: Ada
• Homepage:
• Size: 1.48 MB
• Stars: 22
• Watchers: 7
• Forks: 2
• Open Issues: 29

Awesome Lists containing this project

• awesome-ada - gneiss - Gneiss is an interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the [ada-runtime]. (Frameworks / Components)