{"id":"W6948688516","doi":"10.5281/zenodo.10537198","title":"Artifact Package: the Metis File System Model Checking Framework","year":2023,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Cell Image Analysis Techniques","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Artifact (error); Model checking; State (computer science); File system; Code (set theory); System model","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002815403,0.002707151,0.00150983,0.002689094,0.000808268,0.002692384,0.005508616,0.001383907,0.1327501],"category_scores_gemma":[0.009498162,0.001708962,0.00276758,0.001895752,0.0005603728,0.002461933,0.00208752,0.003131596,0.07188375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001516683,"about_ca_system_score_gemma":0.002303107,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007654385,"about_ca_topic_score_gemma":0.00835404,"domain_scores_codex":[0.9973546,0.0006880564,0.0002299859,0.0004032661,0.001074572,0.0002495743],"domain_scores_gemma":[0.9959705,0.001371228,0.0002290892,0.001299423,0.00104575,0.0000839802],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002364274,0.00005601875,0.0008772691,0.0007505534,0.0001886838,0.0001381483,0.0001162935,0.01346397,0.00290303,0.04502683,0.8785263,0.05771643],"study_design_scores_gemma":[0.0003011136,0.00008154415,0.001160705,0.0002628244,0.0001587785,0.00042667,0.00007867524,0.1884762,0.02507038,0.06793725,0.7159024,0.0001432349],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0007835479,0.00017029,0.5671063,0.0003305979,0.000210798,0.0002226867,0.06412436,0.3557347,0.01131667],"genre_scores_gemma":[0.04279444,0.0004812072,0.4434283,0.0007396344,0.0003133061,0.002107213,0.2077299,0.2699281,0.03247789],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1327501,"threshold_uncertainty_score":0.4440932,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02180513003736295,"score_gpt":0.258940674339989,"score_spread":0.237135544302626,"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."}}