{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001741271,0.0003804179,0.0005200959,0.0005114823,0.000170528,0.000167853,0.002586015,0.0002504501,0.000008902005],"category_scores_gemma":[0.000817855,0.0003756327,0.0001133269,0.0005432087,0.0005887976,0.001012167,0.001100512,0.0006134718,0.000006811737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002222843,"about_ca_system_score_gemma":0.0003271927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009175055,"about_ca_topic_score_gemma":0.000005209563,"domain_scores_codex":[0.9968411,0.00003130592,0.00071233,0.000999397,0.0006806064,0.0007352158],"domain_scores_gemma":[0.996699,0.00115206,0.0006121734,0.001175307,0.0002697929,0.00009163635],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002779403,0.000006762226,0.00007446313,0.00005034661,0.000005507427,0.00002749873,0.0007145531,0.3250367,0.000599767,0.01373714,0.000002243413,0.6597423],"study_design_scores_gemma":[0.0004630914,0.0003060799,0.000425432,0.0007881486,0.00001337055,0.0001633313,0.000001176741,0.5502289,0.02743832,0.4169131,0.001910784,0.001348301],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001489335,0.0002980734,0.9965247,0.00009027914,0.001238657,0.0002287263,0.000003144597,0.0002978963,0.001169597],"genre_scores_gemma":[0.09252021,0.00003335518,0.906908,0.0001260963,0.0002338802,0.0000051912,0.000002992344,0.00002670311,0.000143566],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.658394,"threshold_uncertainty_score":0.9998696,"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."}}