safety.iso26262: asil determination

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

https://sites.google.com/site/fastenroot/home

Apache License 2.0

23 stars 14 forks source link

Closed Liana09 closed 3 years ago

Liana09 commented 3 years ago

ComputeASIL function used to determine the ASIL level is finished now ^^