{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006084782,0.001826324,0.0006759443,0.002512976,0.001668584,0.004677851,0.002534141,0.001979046,0.0307503],"category_scores_gemma":[0.0115444,0.001068438,0.002142051,0.002540394,0.003953907,0.007067027,0.004043725,0.004795035,0.006918002],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00320768,"about_ca_system_score_gemma":0.00280868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003501691,"about_ca_topic_score_gemma":0.002821927,"domain_scores_codex":[0.9941299,0.002057749,0.0008573416,0.0008020854,0.001738221,0.000414824],"domain_scores_gemma":[0.9935867,0.003660395,0.0004461145,0.001120166,0.001043497,0.0001431537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001104686,0.00001633382,0.0000632302,0.0001289388,0.00000726889,0.00007839905,0.0003036101,0.001319116,0.0002913272,0.9812733,0.004822882,0.01168453],"study_design_scores_gemma":[0.00003886304,0.00001711956,0.00004723869,0.0001409766,0.00001614488,0.0001642265,0.000125506,0.009218696,0.00138584,0.8296265,0.1591952,0.00002372222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001384729,0.001096676,0.9372001,0.002474432,0.0005664728,0.0003453246,0.001349903,0.001904971,0.05367739],"genre_scores_gemma":[0.1155763,0.003833701,0.8303706,0.002190337,0.001005477,0.001856435,0.0051712,0.00122832,0.03876764],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0307503,"threshold_uncertainty_score":0.10287,"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."}}