{"id":"W2156843530","doi":"","title":"Verifying BON models with Alloy","year":2005,"lang":"en","type":"article","venue":"Americanae (AECID Library)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Theory of computation; Alloy; Programming language; Metallurgy; Materials 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.004797284,0.001368036,0.0008438037,0.001878042,0.001169945,0.00265675,0.001972309,0.001579928,0.004266542],"category_scores_gemma":[0.01397234,0.001419102,0.002225174,0.0008320315,0.002392882,0.004182824,0.003553365,0.001954413,0.001128044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001423501,"about_ca_system_score_gemma":0.002339349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00464206,"about_ca_topic_score_gemma":0.004666562,"domain_scores_codex":[0.9922251,0.002150354,0.000554591,0.0004793012,0.004091925,0.0004986972],"domain_scores_gemma":[0.9926362,0.003522941,0.0006362271,0.00172104,0.001351958,0.0001315207],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004028406,0.0001677335,0.004181345,0.0008751388,0.0001606946,0.0007680047,0.001269423,0.2025529,0.026216,0.6924421,0.00422821,0.06673557],"study_design_scores_gemma":[0.00007693001,0.0002991201,0.0005443236,0.0002293801,0.0001190472,0.0005545801,0.0003861629,0.5749158,0.05476497,0.3225136,0.04550391,0.00009220251],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02606892,0.0001518205,0.9619277,0.0002069914,0.0001288626,0.00009622816,0.000209568,0.00418155,0.007028276],"genre_scores_gemma":[0.3990021,0.0003747633,0.5913267,0.0002747233,0.00006308256,0.0002685532,0.001178271,0.001267083,0.006244852],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004797284,"threshold_uncertainty_score":0.02537072,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007820192098407392,"score_gpt":0.1837506965861557,"score_spread":0.1759305044877483,"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."}}