Specify which URL should be used for learning. Select multiple URLs for learning in parallel.
Specify which formula suites should be used for model checking learned models.