Pinned Loading

1. nominal-lstar nominal-lstar Public

   Code for "Learning nominal automata"

   Haskell 11 1

2. ons-hs ons-hs Public

   (Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell

   Haskell 3 1

3. hybrid-ads hybrid-ads Public

   (Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing

   C++ 2 1

4. monoid-learner monoid-learner Public

   Learns a monoid with an L*-like algorithm

   Haskell 1

5. satuio satuio Public

   Using SAT solvers to construct UIOs and ADSs

   Python