{"id":"W1542164216","doi":"10.1007/978-3-540-88479-8_57","title":"High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM","year":2008,"lang":"en","type":"book-chapter","venue":"Communications in computer and information science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Scope (computer science); Computer science; Formalism (music); Key (lock); Systems engineering; Engineering design process; Distributed computing; Systems design; Process (computing); Complex system; Software engineering; Artificial intelligence; Computer security; Engineering; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002120712,0.000772744,0.0006991833,0.0005152156,0.0006305309,0.002248628,0.001974344,0.001174828,0.00312334],"category_scores_gemma":[0.005303847,0.0007801749,0.0008248236,0.0003227117,0.001996602,0.002172215,0.001338611,0.002095392,0.0009571535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001206987,"about_ca_system_score_gemma":0.001547742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001492345,"about_ca_topic_score_gemma":0.001480818,"domain_scores_codex":[0.998226,0.000560092,0.0000928442,0.0001953991,0.0007753277,0.0001503912],"domain_scores_gemma":[0.9976357,0.001098923,0.0001120362,0.0007655738,0.0003503234,0.00003741604],"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.0003091377,0.000126872,0.001574656,0.0008344547,0.0001130068,0.0003532611,0.0008677469,0.2151744,0.06083375,0.5082606,0.003424674,0.2081274],"study_design_scores_gemma":[0.00005460786,0.0001721338,0.0005082026,0.0001747452,0.00006358676,0.0002110971,0.00005449602,0.7427896,0.06539772,0.1620351,0.0285055,0.00003318927],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0114535,0.0003289616,0.9818438,0.0001187659,0.0000306332,0.00008242083,0.00002705573,0.001036262,0.005078708],"genre_scores_gemma":[0.4173861,0.0005333854,0.568238,0.0001726489,0.00004290749,0.0002373969,0.0001609219,0.0006475857,0.01258109],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00312334,"threshold_uncertainty_score":0.01121557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08772538851800345,"score_gpt":0.3042700937711864,"score_spread":0.216544705253183,"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."}}