{"id":"W2020345512","doi":"10.1016/j.scico.2012.02.001","title":"Executable formal specifications of complex distributed systems with CoreASM","year":2012,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; Defence Research and Development Canada","funders":"","keywords":"Executable; Computer science; Programming language; Software engineering; Formal methods; Extensibility; Formal verification; Formal specification; Software system; Software","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.003174688,0.0007227758,0.0004702214,0.0007461257,0.0006316424,0.002841343,0.001364171,0.0009704123,0.004751586],"category_scores_gemma":[0.008861248,0.0007248752,0.0009021372,0.0003960757,0.002187807,0.002545899,0.00151491,0.001588975,0.0007098919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001235881,"about_ca_system_score_gemma":0.002611767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002386644,"about_ca_topic_score_gemma":0.004082839,"domain_scores_codex":[0.9975114,0.0007809123,0.0002579753,0.0002475163,0.0009424411,0.0002598192],"domain_scores_gemma":[0.9917222,0.005132357,0.0005630095,0.001253074,0.001179567,0.0001497702],"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.0003068695,0.0001611664,0.001316372,0.0003740905,0.0000378,0.0005234,0.001627016,0.07386189,0.01858727,0.8685545,0.001620524,0.03302903],"study_design_scores_gemma":[0.0002621101,0.0001420163,0.0003961294,0.0001625157,0.00008258073,0.0002515703,0.0003434428,0.5026883,0.0540303,0.4202866,0.02129432,0.00006006003],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03667283,0.00005331587,0.9556901,0.0002236078,0.00004056344,0.0001980591,0.0003167587,0.002106644,0.00469815],"genre_scores_gemma":[0.584095,0.0001315604,0.4065639,0.0001987631,0.000038284,0.0005390943,0.0009086087,0.0006790591,0.006845659],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004751586,"threshold_uncertainty_score":0.01678956,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07390001709856975,"score_gpt":0.2975262949599616,"score_spread":0.2236262778613918,"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."}}