{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002826456,0.000828514,0.0005913281,0.001037977,0.0004361204,0.001185188,0.001403661,0.0005277238,0.001799055],"category_scores_gemma":[0.00722014,0.000764308,0.0009689844,0.0005157391,0.001349957,0.001944519,0.001906419,0.001599999,0.0005767519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000845533,"about_ca_system_score_gemma":0.002035727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001927977,"about_ca_topic_score_gemma":0.002043052,"domain_scores_codex":[0.997253,0.0007015382,0.0002304945,0.0004434909,0.001137215,0.0002341988],"domain_scores_gemma":[0.9917937,0.004947763,0.0007075254,0.001833852,0.0006323826,0.0000848194],"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.0005366678,0.0002028157,0.005690495,0.0006705907,0.0001425996,0.0008010844,0.001075596,0.3004912,0.1712577,0.04072313,0.002757348,0.4756508],"study_design_scores_gemma":[0.00009402547,0.0002016899,0.001010398,0.00007892114,0.00006423616,0.0003953642,0.00008863592,0.8323598,0.1225037,0.03717322,0.005968819,0.00006113565],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01336312,0.00003331923,0.976226,0.00003367433,0.00000764685,0.00004451243,0.00007028286,0.009698397,0.0005230994],"genre_scores_gemma":[0.3156618,0.0001245677,0.681143,0.00008269039,0.00001554788,0.000170739,0.0004704702,0.001244343,0.001086752],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002826456,"threshold_uncertainty_score":0.01494789,"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."}}