S

Symbolic search methods

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.