AIPHS
Adaptive Profiling HW Sub-system (AIPHS) supports designers on the development of On-Chip Monitoring Systems (OCMSs) able to satisfy given Monitorability Requirements
Modelio Constellation
Constellation organizes and manages collaborative (distributed) World Wide Modeling projects,
RCRS
RCRS (the Refinement Calculus of Reactive Systems) is a compositional reasoning framework