print · source · login   

Please contribute!

You are welcome to add new benchmark models, descriptions, results to the automata wiki.

There are several ways to contribute:

  • we can provide you with an account so that you can contribute to the wiki yourself.
  • or you just can send us some benchmark models with references

In case you want to add extensive descriptions to the benchmarks the first is preferred.

In the Help section of this wiki you can find instructions how to add a new benchmark.