STL applications: Testing, Falsification and parameter synthesis
Completion requirements
PDF
Click 14-STL_applications_fals_param.pdf link to view the file.