{"id":220675,"url":"https://www.mathworks.com/products/polyspace-code-prover.html","last_synced_at":"2025-12-05T02:30:10.943Z","repository":null,"keywords":[],"created_at":"2024-01-06T21:57:46.187Z","updated_at":"2024-01-07T01:14:37.166Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Programming Languages"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/www.mathworks.com%2Fproducts%2Fpolyspace-code-prover.html","html_url":"https://awesome.ecosyste.ms/projects/www.mathworks.com%2Fproducts%2Fpolyspace-code-prover.html","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/www.mathworks.com%2Fproducts%2Fpolyspace-code-prover.html/lists"}