A Model Checker Collection for the Model Checking Contest @ Petri - PowerPoint PPT Presentation

A Model Checker Collection for the Model Checking Contest @ Petri Nets Didier Buchs Stefan Klikovits Alban Linard Romain Mencattini Dimitri Racordon 28 June 2018

1/11

1/11

Examination Result GreatSPN ITSTools LoLA LTSMin Marcie Smart Spot Tapaal Tina 2/11

Examination Result GreatSPN ITSTools LoLA LTSMin Marcie Smart Spot Tapaal Tina 2/11

Examination Result GreatSPN ITSTools LoLA LTSMin Marcie Smart Spot Tapaal Tina 2/11

3/11 ◮ 35 Gbytes ◮ 5 Gbytes ◮ VM within VM (or confmicts) ◮ Docker within VM ◮ Not reusable ◮ Reusable

https://mcc.lip6.fr/pdf/rules.pdf 4/11

“T-2. Developers of a tool (or a tool extension) can participate ?    Smart    Spot    Tapaal    Tina    Marcie  with their own work. Tools may also be submitted by others if they  the agreement of their authors .” Latest Agreement Docker Included GreatSPN    ITSTools  ?  LoLA    LTSMin 4/11 present the latest version available on the Web , and with

“T-2. Developers of a tool (or a tool extension) can participate ?    Smart    Spot    Tapaal    Tina    Marcie  with their own work. Tools may also be submitted by others if they  the agreement of their authors .” Latest Agreement Docker Included GreatSPN    ITSTools  ?  LoLA    LTSMin 4/11 present the latest version available on the Web , and with

“T-5. Submitted tools must honestly perform the computations required by the MCC examinations. Using precomputed results is not allowed and, if detected, will disqualify the tool submission.” 4/11

irma4mcc mcc4mcc 5/11 ◮ explicit choice ◮ machine learning ◮ does not compete ◮ competes

6/11

# characteristics average models per characteristics 7/11 10 15 20 25 5 5 10 15 20 25

Score # of characteristics used Neural Network Naive Bayes SVM Decision Tree 8/11

Score % of inputs used in learning Neural Network Naive Bayes SVM Decision Tree 9/11

https://github.com/cui-unige/mcc4mcc    A tool to wrap them all Can be used by non-experts 10/11

https://github.com/cui-unige/mcc4mcc    10/11 ◮ A tool to wrap them all ◮ Can be used by non-experts

Questions? All images are taken from Wikipedia ( https://www.wikipedia.org ), or They Live by John Carpenter. Icons are taken from FontAwesome ( https://fontawesome.com ).

Questions? All images are taken from Wikipedia ( https://www.wikipedia.org ), or They Live by John Carpenter. Icons are taken from FontAwesome ( https://fontawesome.com ).