{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"fret","owner":"NASA-SW-VnV","isFork":false,"description":"A framework for the elicitation, specification, formalization and understanding of requirements.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":2,"starsCount":264,"forksCount":45,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T20:03:57.390Z"}},{"type":"Public","name":"AdaStress.jl","owner":"NASA-SW-VnV","isFork":false,"description":"Reinforcement learning framework to find and analyze the likeliest failures of a system under test.","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T07:19:23.072Z"}},{"type":"Public","name":"homebrew-core","owner":"NASA-SW-VnV","isFork":false,"description":"Homebrew formulae from NASA - Software Verification and Validation","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":3,"starsCount":5,"forksCount":2,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T11:46:45.475Z"}},{"type":"Public","name":"ikos","owner":"NASA-SW-VnV","isFork":false,"description":"Static analyzer for C/C++ based on the theory of Abstract Interpretation.","allTopics":["static-analysis","program-analysis","software-verification","abstract-interpretation"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":39,"starsCount":2000,"forksCount":148,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T05:16:35.871Z"}},{"type":"Public","name":"CoCoSim","owner":"NASA-SW-VnV","isFork":false,"description":"Automated Analysis Framework for Simulink/Stateflow models.","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":1,"issueCount":1,"starsCount":37,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-08T01:07:14.420Z"}},{"type":"Public","name":"mesa","owner":"NASA-SW-VnV","isFork":false,"description":"Actor-based Runtime Verification Tool","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-13T22:22:05.796Z"}},{"type":"Public","name":"cocosim_tests","owner":"NASA-SW-VnV","isFork":false,"description":"Regression and unit tests for CoCoSim","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-13T04:25:26.395Z"}}],"repositoryCount":7,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}