{"id":"W4232571550","doi":"10.1145/1041685.1029900","title":"Automating comprehensive safety analysis of concurrent programs using verisoft and TXL","year":2004,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Instrumentation (computer programming); Computer science; Flexibility (engineering); Programming language; Static analysis; Software; Program analysis; Static program analysis; Code (set theory); Program transformation; Software engineering; Dynamic program analysis; Source code; Software development; Set (abstract data type)","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":[],"consensus_categories":[],"category_scores_codex":[0.0001745377,0.0002143042,0.0004010034,0.0003026889,0.0001465846,0.0001092656,0.0006273009,0.0000842647,0.000003210617],"category_scores_gemma":[0.007880689,0.0002339788,0.0001280768,0.001352395,0.00005616435,0.0002904339,0.0004205841,0.0001691543,0.000001417047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007957644,"about_ca_system_score_gemma":0.00005855411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008060099,"about_ca_topic_score_gemma":0.000002354259,"domain_scores_codex":[0.9985597,0.00002447298,0.000450522,0.0004075946,0.0002636621,0.0002941163],"domain_scores_gemma":[0.9918214,0.007105793,0.0002005931,0.0005982286,0.0001726239,0.0001013656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"observational","study_design_scores_codex":[0.000007455286,0.0002110681,0.3314035,0.0006137838,0.001135893,0.00001712397,0.00822279,0.4940494,0.007339045,0.01578675,0.000002390196,0.1412108],"study_design_scores_gemma":[0.0009402334,0.0001433358,0.5255171,0.0005650618,0.0004037375,0.00003709683,0.00007767609,0.4645532,0.006442757,0.0001481298,0.0003132189,0.000858475],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4939181,0.0004377368,0.5049901,0.00003246116,0.000166623,0.00009128665,0.000005256626,0.0003582905,2.110148e-7],"genre_scores_gemma":[0.7022119,0.00001118268,0.2976972,0.0000242972,0.00002569671,0.00000411221,0.00001460435,0.00001078407,1.842814e-7],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.2082939,"threshold_uncertainty_score":0.954138,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03670120704736915,"score_gpt":0.2736429971604598,"score_spread":0.2369417901130907,"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."}}