Analyzers in Evolvix are packaged into Workers and take as input at least one of the following:

• Model: Your description of the system that you want to analyze.
• Query: What you want to know about a Model.
• Task: Computational details about how to analyze the Query.
  

Evolvix development at the moment is setting up the infrastructure. Once that is done, development will be mostly about extending the types of Models are are supported, as well as new Queries about them and the Evolvix Workers that actually get the answers.

That means that we plan to implement a long series of Evolvix Analyzers. Here is an overview:

Before an Evolvix Worker can start analyzing a model, it usually will be preprocessed to make computation easier. The currently released Evolvix Worker requires manaul entry, as the corresponding Evolvix Analyzer has not yet been released. Once the Parser for the Evolvix Language is operational, we will develop a preprocessing module for each Evolvix Worker.