{"id":31366587,"url":"https://github.com/model-checking/kani/","last_synced_at":"2025-09-27T11:01:50.430Z","repository":null,"keywords":[],"created_at":"2025-09-27T11:01:13.421Z","updated_at":"2025-09-27T11:01:13.421Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Verifiers"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmodel-checking%2Fkani%2F","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmodel-checking%2Fkani%2F","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmodel-checking%2Fkani%2F/lists"}