Symbols

Select a reset symbol (required)

{{pSymbol.symbol.name}} as

Select symbols to create an input alphabet.

Select a post symbol (optional)

Configuration

Learner

Enable

WebDriver

Environments

Specify which URL should be used for learning. Select multiple URLs for learning in parallel.

{{env.name}}

Model Checking

Specify which formula suites should be used for model checking learned models.

{{suite.name}}

Min. unfolds

Multiplier