An experienced CSR and Casper Coder for Concurrent systems tasks -- 2

Design, analyze and verify a concurrent system using the CSP/FDR model checker, and use Casper to verify security protocol. There are 8 tasks in all. Further details of each task will be shared. Kindly bid if you have proven track experience with CSR, Casper and FDR.