Using Reo for formal specification and verification of system designs.

Niloofar Razavi, Marjan Sirjani

Browse the full MEMOCODE paper archive.