SPaCIFY

Project summary

SPaCIFY is an ANR/RNTL project aiming at producing an open-source design toolkit for critical embedded software based upon a relaxed synchronous paradigm, advanced model-checking, certified transformations and a middleware featuring dynamic adaptation.

No tag defined for this project

• Intended Audience : Developers
• Operating System : OS Independent
• Topic : Software Development