{"id":"W4388511218","doi":"10.1007/978-981-99-7584-6_14","title":"Proving Local Invariants in ASTDs","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Computer science; Guard (computer science); Modular design; Invariant (physics); Process calculus; Theoretical computer science; Programming language; Algebra over a field; Mathematics; Pure mathematics","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.003443294,0.001656369,0.001556177,0.001866181,0.001213317,0.004535893,0.003418315,0.001462874,0.01466076],"category_scores_gemma":[0.01184605,0.002026187,0.003878339,0.001955325,0.00497263,0.009346949,0.006006029,0.005681137,0.005062001],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002192399,"about_ca_system_score_gemma":0.001851311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00303869,"about_ca_topic_score_gemma":0.004930886,"domain_scores_codex":[0.995172,0.000990501,0.0003875074,0.000639171,0.002063028,0.0007478951],"domain_scores_gemma":[0.9885963,0.007812668,0.0004620287,0.001791723,0.001080103,0.0002573179],"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.0004984078,0.0003218512,0.00287053,0.001379696,0.0001971682,0.001099076,0.001176194,0.03842428,0.01940427,0.7281192,0.02419174,0.1823176],"study_design_scores_gemma":[0.0001693056,0.0001828242,0.0007775532,0.0003039044,0.0003266609,0.0005387692,0.0004654152,0.1225679,0.04979091,0.7845232,0.04025936,0.00009417671],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02383585,0.0004425333,0.9333399,0.0005747184,0.0002713166,0.0001552496,0.0004880515,0.01179866,0.02909386],"genre_scores_gemma":[0.5027943,0.001045126,0.4570373,0.0007428849,0.0003334288,0.0002851938,0.003409049,0.00581978,0.02853304],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01466076,"threshold_uncertainty_score":0.04904521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03633262221751391,"score_gpt":0.2815690185027539,"score_spread":0.24523639628524,"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."}}