Hello Cristina!
A R2014b license is compatible with older versions, so if you upgrade your license to R2014b, you will still be able to use R2014a: Polyspace, like other MathWorks products, use backward-compatible licenses.
Best regards,
Alexandre
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!