{"id":"W7018147088","doi":"","title":"CoreASM: an extensible modeling framework & tool environment for high-level design and analysis of distributed systems","year":2009,"lang":"en","type":"dissertation","venue":"Summit (Simon Fraser University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Executable; Abstraction; Abstract state machines; Extensibility; Variety (cybernetics); Abstraction layer; Software; Modeling language; Formal specification","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.005091295,0.003529822,0.001670493,0.002907195,0.001034442,0.003923183,0.008013939,0.003464722,0.0149346],"category_scores_gemma":[0.006514763,0.002711806,0.004439902,0.001774626,0.001486914,0.003849157,0.004345292,0.005424268,0.006276034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001337835,"about_ca_system_score_gemma":0.004439015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007104928,"about_ca_topic_score_gemma":0.007680605,"domain_scores_codex":[0.997622,0.0006282745,0.0002356171,0.0002253714,0.001035801,0.0002530069],"domain_scores_gemma":[0.9979054,0.0009742418,0.0001925917,0.0004131495,0.0003932629,0.0001213975],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002494491,0.0002740881,0.001781413,0.002243557,0.0003932596,0.001112338,0.001237499,0.4183988,0.01527389,0.2968969,0.07201857,0.1901202],"study_design_scores_gemma":[0.000256339,0.0001092061,0.0003647926,0.0005628167,0.0001160292,0.0004790633,0.00008798865,0.6435854,0.007062546,0.07425057,0.2729806,0.0001447342],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000480181,0.0001643206,0.9778454,0.000112207,0.00005521412,0.0001676938,0.0006298862,0.01824515,0.00229993],"genre_scores_gemma":[0.01276691,0.0007689472,0.9728747,0.0001777047,0.00004779702,0.001378741,0.003254398,0.005765284,0.002965502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0149346,"threshold_uncertainty_score":0.04996121,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05053131440959336,"score_gpt":0.2663036374672186,"score_spread":0.2157723230576252,"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."}}