Tags:
statistical model checking, estasys
Owner:
matthieu.simonin@inria.fr
You will need two upload two files :
1) A model file with the .rml extension
2) A requirement file with the .bltl
In input :
In output :
03/08/2015 : Version 1.0, initial version
This app id is : 30
This curl command will create a job, and return your job url, and also the average execution time
files and/or dataset are optionnal, think to remove them if not wantedcurl -H 'Authorization: Token token=<your_private_token>' -X POST -F job[webapp_id]=30 -F job[param]="" -F job[queue]=standard -F files[0]=@test.txt -F files[1]=@test2.csv -F job[file_url]=<my_file_url> -F job[dataset]=<my_dataset_name> https://allgo.inria.fr/api/v1/jobs
Then, check your job to get the url files with :
curl -H 'Authorization: Token token=<your_private_token>' -X GET https://allgo.inria.fr/api/v1/jobs/<job_id>