{"id":"W4390570875","doi":"10.1016/j.eswa.2023.123113","title":"MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment","year":2024,"lang":"en","type":"article","venue":"Expert Systems with Applications","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada; Khalifa University of Science, Technology and Research; Ministry of Higher Education, Malaysia; Concordia University; Ministry of Higher Education and Scientific Research","keywords":"Computer science; Model checking; Scalability; Computation tree logic; Domain (mathematical analysis); Software; CTL*; Theoretical computer science; Distributed computing; Formal verification; Temporal logic; Software engineering; Programming language; Database","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002760429,0.000303664,0.0002973946,0.0001924393,0.0006288708,0.0003411211,0.000755444,0.0001660771,0.000001346887],"category_scores_gemma":[0.000006044087,0.0002350401,0.00005886253,0.0007205362,0.0001895038,0.0002052764,0.0001616341,0.0002211426,0.00001930337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001353315,"about_ca_system_score_gemma":0.0001596965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004227107,"about_ca_topic_score_gemma":0.00002153015,"domain_scores_codex":[0.9980255,0.00002342727,0.0004036222,0.0009579743,0.0002279656,0.0003614804],"domain_scores_gemma":[0.9981357,0.00008385543,0.0001215227,0.001324537,0.0002012992,0.0001330605],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008172491,0.0002251993,0.0001240964,0.0001841794,0.0001071091,0.000001015471,0.001311913,0.0009747146,0.000136722,0.9760011,0.0006823113,0.02024347],"study_design_scores_gemma":[0.0003756451,0.00007607232,0.00002144819,0.00009654191,0.00003223313,0.00007485807,0.0003218297,0.8845969,0.000532195,0.002121533,0.111376,0.0003747024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003969469,0.004875201,0.9869712,0.0007934849,0.0000318886,0.005554454,0.00005994402,0.001228668,0.00008820078],"genre_scores_gemma":[0.2188979,0.0001419041,0.7050552,0.0001645914,0.0000900879,0.07520381,0.0000476856,0.00005057598,0.0003482895],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9738796,"threshold_uncertainty_score":0.9584656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03088365301964105,"score_gpt":0.2897567282273569,"score_spread":0.2588730752077159,"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."}}