Popular repositories Loading
-
lwip-bug-finder
lwip-bug-finder Publiclwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
Python 14
-
LowLevelRuntime_EvaluationTool_ForContainer
LowLevelRuntime_EvaluationTool_ForContainer Public -
-
-
avatar-docker
avatar-docker PublicForked from avatarone/avatar-docker
Docker images for Avatar
Shell
-
Repositories
- cadl-spec Public
Specification and hands-on materials for CADL (Contract Architecture Description Language) and its SoS-DSL extension
- cadl Public
CADL (Contract Architecture Description Language): a DSL and toolchain for specifying, verifying and generating code from institutional designs in Systems of Systems
- cadl-robot-town Public
CADL hands-on Course D: a robot town whose road rules are amended by a council (rule-based or LLM) through verification, constitution and voting gates
- cadl-raspimouse-simulator Public
Simulator for the CADL hands-on course: Raspberry Pi Mouse robots in a collaborative System of Systems, with SoS-DSL contract monitoring (Unity + Go + Python)
-
- Blockchain_IoT_Marketplace Public
- fret_statemachine Public Forked from NASA-SW-VnV/fret
A framework for the elicitation, specification, formalization and analysis of requirements.
- CSS2026_Greyhound_Artifact Public
- lf-ms-evaluation Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…