ProBE

MaRDI QIDQ28108swMATHFDO

Official website http://www.fsel.com/software.html

Cited in

(12)

• Symbolic analysis tools for CSP
• rCOS
• ArchJava
• JACK
• CZT
• Alcoa
• FDR2
• SOFA 2.0
• PACC starter kit
• Rigorous development of component-based systems using component metadata and patterns
• Enabling synchronous and asynchronous communications in CSP for SOC
• Efficient symbolic computation of process expressions

This page was built for software: ProBE