RPTU Kaiserslautern, Chair of Cyber-Physical Systems
RPTU Kaiserslautern, Chair of Cyber-Physical Systems
- 9 followers
- Kaiserslautern
- https://cps.cs.uni-kl.de/
- cgrimm@rptu.de
Pinned Loading
Repositories
Showing 10 of 10 repositories
- SysMD Public
SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart is its integrated solver, enabling engineering calculations directly within the model while automatically ensuring consistency across constraints and requirements.
- Multiplatform-AADD Public
AADD library - A Kotlin Multiplatform library for semi-symbolic execution and reachability analysis.
-
- jAADD Public
This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD
-
- OSSRH-51653 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…