Rodin - Software

Software

• RODIN Data Asset Management, a software solution for building and deploying data warehouses and data marts
• Rodin Platform, a theorem proving tool for the B-Method