{"id":"W1546692412","doi":"10.1007/978-3-642-16901-4_38","title":"Comparison of Model Checking Tools for Information Systems","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":61,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Model checking; Computer science; Temporal logic; Programming language; Information system; Formal verification; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01095185,0.00143096,0.001822849,0.004315618,0.001031071,0.003903411,0.003321919,0.001808064,0.00961901],"category_scores_gemma":[0.04984813,0.0008887262,0.002301534,0.003251283,0.001849266,0.00894929,0.002859127,0.002396754,0.0009400652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003067696,"about_ca_system_score_gemma":0.00405615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003438174,"about_ca_topic_score_gemma":0.004147703,"domain_scores_codex":[0.9824232,0.008056556,0.0009449956,0.0007784116,0.006428434,0.001368423],"domain_scores_gemma":[0.9174455,0.06317814,0.001500183,0.01205184,0.00520248,0.0006217922],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.005139678,0.0007902781,0.004565364,0.001420822,0.0005368088,0.0001288047,0.0004953076,0.2397411,0.01060848,0.3815427,0.01367331,0.3413572],"study_design_scores_gemma":[0.0003639576,0.0005312812,0.001498651,0.0003002445,0.0003455092,0.0001206788,0.0002011848,0.7704628,0.02099692,0.1964527,0.008646538,0.00007967489],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1547733,0.004938684,0.7926058,0.001363341,0.0005862179,0.0004340551,0.001209144,0.01162373,0.03246571],"genre_scores_gemma":[0.7687735,0.001351325,0.2227195,0.0002133303,0.000105125,0.0002952109,0.001379608,0.001450497,0.003711866],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01095185,"threshold_uncertainty_score":0.05791962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07874912144205573,"score_gpt":0.340206260501616,"score_spread":0.2614571390595603,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}