#

probabilistic-requirements

Here is 1 public repository matching this topic...

NASA-SW-VnV / fret

A framework for the elicitation, specification, formalization and analysis of requirements.

aerospace formal-verification requirements robotic-systems consistency-checking autonomy test-case-generation safety-critical-systems probabilistic-requirements early-verification-validation

Updated Apr 8, 2025
JavaScript

Improve this page

Add a description, image, and links to the probabilistic-requirements topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the probabilistic-requirements topic, visit your repo's landing page and select "manage topics."