{"id":"W1559071892","doi":"10.1007/3-540-45429-2_12","title":"Supporting Formal Verification of Crosscutting Concerns","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Formal methods; Formal verification; Composition (language); Programming language; Software engineering; Process (computing); Formal description; Formal specification; Linguistics","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.004343254,0.001393185,0.000754208,0.001040326,0.0006464922,0.002905255,0.00267472,0.001896369,0.005838729],"category_scores_gemma":[0.01565861,0.001668951,0.001256723,0.0006543763,0.001582449,0.0058141,0.003494182,0.002170227,0.001422927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006810017,"about_ca_system_score_gemma":0.001425167,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001392438,"about_ca_topic_score_gemma":0.001779575,"domain_scores_codex":[0.9959826,0.001049943,0.0003786559,0.0004435625,0.001715605,0.0004296262],"domain_scores_gemma":[0.9832051,0.01227516,0.0007864811,0.002519512,0.001041974,0.0001718061],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007183813,0.0004215818,0.003512182,0.001465371,0.0001496181,0.001693772,0.002030357,0.07036231,0.1103461,0.3286798,0.006034117,0.4745864],"study_design_scores_gemma":[0.0003105659,0.0002735626,0.000859498,0.0003951629,0.0002123158,0.001262879,0.0001796352,0.4997143,0.2230498,0.2401519,0.0334899,0.0001003331],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02745291,0.0001983034,0.9611567,0.0001311602,0.00006226939,0.00008341121,0.00006788556,0.006989139,0.003858357],"genre_scores_gemma":[0.501565,0.0005227972,0.4888122,0.0001458994,0.00008791765,0.0001405456,0.0005799442,0.001877881,0.006267816],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005838729,"threshold_uncertainty_score":0.0229696,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04510924830627148,"score_gpt":0.326859788120967,"score_spread":0.2817505398146955,"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."}}