maximebuyse/alpacas

Alpacas is a deep Scala 3 DSL for parametric system safety modeling and analysis. One can specify parametric families of systems mixing functional and dysfunctional behavior resulting from random faults and compute system reliability indicators.

Last synced at: almost 3 years ago - Stars: 0 - Forks: 0