Analysis, Verification of Concurrent Systems

Job ID: 35450349

Budget: £20 – £250 GBP

Use Casper to evaluate security protocols while designing, analysing, and verifying a concurrent system using the CSP/FDR model checker.

Related categories: Internet Security Server Security Systems