{"id":"W6999278188","doi":"","title":"Corresponding formal specifications with distributed systems","year":2019,"lang":"en","type":"article","venue":"cIRcle (University of British Columbia)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Modular design; Modularity (biology); Formal specification; Formal verification; Isolation (microbiology); Formal methods; Model checking","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002056299,0.0000395283,0.0002004324,0.00004398492,0.000216456,0.0003169323,0.0006948202,0.00006426429,0.00002021687],"category_scores_gemma":[0.000006297196,0.0001110956,0.00005953196,0.0004640908,0.00008302063,0.0008107044,0.0001556467,0.00008770145,0.000115138],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006498725,"about_ca_system_score_gemma":0.0000724335,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.01841838,"about_ca_topic_score_gemma":0.01871953,"domain_scores_codex":[0.9990019,0.00004761662,0.0000963643,0.0003327345,0.0002520733,0.0002693429],"domain_scores_gemma":[0.9990811,0.0000373555,0.0001574852,0.0004531023,0.0001750144,0.00009588081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00006944115,0.0006978519,0.2998088,0.0007577232,0.0003552058,0.0008639766,0.002660188,0.0009202653,0.0006459253,0.03588096,0.01585768,0.641482],"study_design_scores_gemma":[0.0008472684,0.0001745871,0.9800761,0.0000448736,0.00001366226,0.0002002455,0.001670332,0.006219857,5.80036e-7,0.0001896391,0.01033747,0.000225354],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5143857,0.00007245879,0.4812516,0.00004232079,0.0003751547,0.0003557549,0.0000284317,0.0001474936,0.003341117],"genre_scores_gemma":[0.9968364,0.000008274904,0.0007103794,0.000005539774,0.00002183487,7.603716e-7,0.00002450604,0.000005957663,0.002386356],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6802673,"threshold_uncertainty_score":0.9991863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01474787468627179,"score_gpt":0.1720079516812219,"score_spread":0.1572600769949501,"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."}}