{"id":"W1752871820","doi":"10.1007/978-3-540-74742-0_51","title":"On Formal MOM Modeling","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Computer science; Promela; Correctness; Model checking; Concurrency; Formal verification; Nondeterministic algorithm; Message passing; Distributed computing; Formal methods; Programming language; Theoretical computer science","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.0006123555,0.001109803,0.000651542,0.0009289326,0.0009086629,0.001930105,0.001441777,0.0009518611,0.01727144],"category_scores_gemma":[0.001406476,0.0005377231,0.0009738211,0.0007921423,0.00153453,0.003444254,0.002101979,0.001738044,0.004801588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000805042,"about_ca_system_score_gemma":0.0005551293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001114416,"about_ca_topic_score_gemma":0.001060821,"domain_scores_codex":[0.9994723,0.0001316657,0.00002377629,0.00007815137,0.0002397346,0.00005430047],"domain_scores_gemma":[0.9996923,0.0001057657,0.00001691431,0.0001092684,0.00006000827,0.00001568289],"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.00001260684,0.00001903967,0.00006021768,0.0000889337,0.000008345999,0.00005371965,0.0001360606,0.005972734,0.001531226,0.9406917,0.005298553,0.04612678],"study_design_scores_gemma":[0.000007623741,0.00002496579,0.0000657899,0.000110785,0.00001645921,0.0001887566,0.0001112828,0.04732152,0.003220961,0.7840601,0.1648582,0.00001367441],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0018457,0.001406243,0.9014352,0.0006882079,0.0004127671,0.00004360618,0.000109558,0.000888844,0.09316985],"genre_scores_gemma":[0.294743,0.007435987,0.4699598,0.001202708,0.0007553437,0.0004354299,0.001199749,0.00187169,0.2223964],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01727144,"threshold_uncertainty_score":0.05777872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05312678790815965,"score_gpt":0.3059878849660714,"score_spread":0.2528610970579118,"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."}}