{"id":"W2042108786","doi":"10.1145/1028976.1029010","title":"Pluggable verification modules","year":2004,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Bytecode; Computer science; Modular design; Extensibility; Operating system; Programming language; Java; Embedded system","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.002648089,0.001151183,0.0006914819,0.001094597,0.0004056457,0.002264116,0.002976869,0.001297188,0.01544066],"category_scores_gemma":[0.01137429,0.001243537,0.001028657,0.0004170477,0.00100352,0.00461141,0.003634059,0.002795116,0.006347872],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005264522,"about_ca_system_score_gemma":0.001280181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004134148,"about_ca_topic_score_gemma":0.000302786,"domain_scores_codex":[0.9977029,0.0004121755,0.0001907483,0.0003876561,0.001041476,0.0002649455],"domain_scores_gemma":[0.9943897,0.001548852,0.0003695622,0.002677687,0.0008132516,0.0002008306],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001459482,0.0007266841,0.007574251,0.001645259,0.0002254249,0.001724018,0.001316649,0.02972946,0.1330418,0.2371726,0.03468459,0.5506997],"study_design_scores_gemma":[0.000416763,0.0006289936,0.003484328,0.0003396186,0.0001809397,0.002905642,0.00009349716,0.258125,0.3149144,0.07939818,0.3392883,0.0002241785],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009820715,0.0002317036,0.9267733,0.000120114,0.0001930533,0.0004534706,0.0002538229,0.0535655,0.008588376],"genre_scores_gemma":[0.427532,0.0004515749,0.5202438,0.0009434319,0.0002902644,0.001204575,0.001885751,0.01320886,0.03423969],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01544066,"threshold_uncertainty_score":0.05165422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01995300430619532,"score_gpt":0.2410934239810386,"score_spread":0.2211404196748433,"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."}}