{"id":"W7113480626","doi":"","title":"Advancing File System Model Checking: Coverage, Framework, and Scalability","year":2025,"lang":"","type":"article","venue":"Academic Commons (Stony Brook University)","topic":"Advanced Data Storage Technologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"File system; Scalability; Fork (system call); Correctness; File system fragmentation; Consistency (knowledge bases); Device file; Distributed File System; Container (type theory)","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.01438198,0.001841472,0.001796659,0.004595761,0.001220266,0.005455537,0.004495921,0.002124877,0.002654127],"category_scores_gemma":[0.08438954,0.001488551,0.00380851,0.002484964,0.004653036,0.01061948,0.007180583,0.004698925,0.0005533627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005075807,"about_ca_system_score_gemma":0.005283556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01868035,"about_ca_topic_score_gemma":0.01288963,"domain_scores_codex":[0.976862,0.007240656,0.001111205,0.002984995,0.01000409,0.001797093],"domain_scores_gemma":[0.9280505,0.04795896,0.003549237,0.01193426,0.007418818,0.001088301],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000429995,0.0003505045,0.02673971,0.0008901849,0.000305582,0.0003615645,0.0009639891,0.5374204,0.01161044,0.2092266,0.006497548,0.2052036],"study_design_scores_gemma":[0.00003612361,0.0000938746,0.001071528,0.0001318628,0.00005782376,0.0001318306,0.00009297429,0.8969564,0.005974077,0.09325893,0.002147231,0.00004739166],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.04043654,0.001740007,0.9433914,0.002394435,0.00007674209,0.0002300545,0.0005870218,0.006830662,0.00431309],"genre_scores_gemma":[0.5391894,0.0009386251,0.4556465,0.0004652551,0.0002093892,0.0003696886,0.001041795,0.001266902,0.0008724177],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01868035,"threshold_uncertainty_score":0.07606012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01308180848292461,"score_gpt":0.245301132852997,"score_spread":0.2322193243700724,"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."}}