{"id":"W2411596298","doi":"10.4204/eptcs.209.1","title":"Formal refinement of extended state machines","year":2016,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Formal specification; B-Method; Formal methods; Programming language; Event (particle physics); Consistency (knowledge bases); Construct (python library); Process (computing); Language Of Temporal Ordering Specification; Process calculus; Theoretical computer science; Artificial intelligence","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.007025564,0.0008193076,0.0005578445,0.0011676,0.0006030122,0.001620962,0.0015904,0.0009243279,0.003224154],"category_scores_gemma":[0.01260965,0.0007344507,0.002136351,0.0008147753,0.002909961,0.002545443,0.002165123,0.001734598,0.0006548373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001326337,"about_ca_system_score_gemma":0.001699339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002894753,"about_ca_topic_score_gemma":0.002360989,"domain_scores_codex":[0.9930246,0.003257008,0.0007323866,0.001027263,0.001589224,0.0003695049],"domain_scores_gemma":[0.9917197,0.005001451,0.0005571115,0.001594064,0.001015248,0.0001123654],"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.0001678425,0.00006320492,0.0007428658,0.0003288014,0.00006014239,0.0004591061,0.0011862,0.07113352,0.01459125,0.8689411,0.0008407387,0.0414853],"study_design_scores_gemma":[0.0002631482,0.000261017,0.0004292035,0.0002103846,0.0000942109,0.0003044386,0.000157702,0.4065846,0.02622678,0.5139824,0.05142215,0.00006396381],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005438296,0.00009244565,0.9916677,0.00006654979,0.00003418154,0.00008829987,0.00005545345,0.0005931784,0.00196387],"genre_scores_gemma":[0.1935662,0.0003259296,0.8003836,0.0001194669,0.00005892199,0.0005485718,0.0003295644,0.0002808673,0.004386863],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007025564,"threshold_uncertainty_score":0.03715521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006850093954983825,"score_gpt":0.2623549203145504,"score_spread":0.2555048263595666,"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."}}