{"id":"W2132856032","doi":"","title":"Specifying module interfaces with finitely defined automata","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Assertion; Concurrency; Computer science; Programming language; Automaton; TRACE (psycholinguistics); Algebraic specification; Formal specification; Algebraic number; Design by contract; Theoretical computer science; Formal verification; Formal methods; Software; Software development; Mathematics; Software construction","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007921542,0.00009300892,0.00008654654,0.0001010163,0.0000701169,0.000112646,0.0006890402,0.00003565692,0.00002978042],"category_scores_gemma":[0.00006303592,0.00006943238,0.00001569357,0.0003895499,0.00003760591,0.0006304203,0.0001521315,0.00008711281,0.0001376031],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003408356,"about_ca_system_score_gemma":0.00001999754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001809694,"about_ca_topic_score_gemma":0.00001777456,"domain_scores_codex":[0.9990943,0.00002789134,0.0001797861,0.0002528282,0.0002131316,0.0002320309],"domain_scores_gemma":[0.9991623,0.00009693897,0.00006751387,0.0005607216,0.00005433961,0.00005818154],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003951118,0.000076128,0.0014922,0.00001854251,0.00001530003,0.00001662227,0.0007690588,0.0002014025,0.003293331,0.7324714,0.0005238053,0.2610827],"study_design_scores_gemma":[0.0008921237,0.0005635137,0.07848347,0.00006955139,0.000007942786,0.0001289269,0.0002249193,0.4096334,0.489597,0.00685591,0.01286342,0.0006798317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05866063,0.00001589348,0.8919492,0.0001499196,0.0001952683,0.00007677397,2.257967e-7,0.0003993984,0.04855268],"genre_scores_gemma":[0.3818315,0.000001652921,0.6176957,0.0001038611,0.00001831199,0.000001827939,3.756311e-7,0.000004352788,0.000342331],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7256155,"threshold_uncertainty_score":0.283137,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04175259778722096,"score_gpt":0.2944838601399106,"score_spread":0.2527312623526897,"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."}}