{"id":"W2023042624","doi":"10.1145/1029894.1029900","title":"Automating comprehensive safety analysis of concurrent programs using verisoft and TXL","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Static analysis; Program analysis; Programming language; Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.002692804,0.000867623,0.0007645196,0.001451047,0.0006367884,0.001086645,0.0008366075,0.0004203876,0.001485568],"category_scores_gemma":[0.005654689,0.0007941165,0.001008276,0.0005559651,0.001124706,0.001931893,0.001646947,0.001032935,0.0005461924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008448158,"about_ca_system_score_gemma":0.002606624,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003084362,"about_ca_topic_score_gemma":0.005698227,"domain_scores_codex":[0.9979512,0.0005774681,0.0001538386,0.0003019843,0.0008120348,0.000203436],"domain_scores_gemma":[0.9939003,0.003566978,0.0005918139,0.001166508,0.0006719064,0.0001025136],"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.0005515702,0.0002021226,0.006271784,0.000663628,0.0001607226,0.0004813662,0.0008228733,0.2967759,0.1696182,0.01975965,0.001787444,0.5029047],"study_design_scores_gemma":[0.00009808778,0.00015118,0.001818634,0.00007165983,0.00007574895,0.0001949122,0.00007918824,0.8912448,0.0650481,0.03846468,0.002705704,0.00004730747],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03125577,0.00009559445,0.9600193,0.00005196126,0.000007280988,0.00006148143,0.0001164991,0.007833953,0.0005582324],"genre_scores_gemma":[0.4546856,0.0001826473,0.5424716,0.00008204045,0.0000182758,0.000198607,0.0006355691,0.0006378471,0.001087858],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003084362,"threshold_uncertainty_score":0.0142411,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06460338707399395,"score_gpt":0.3397710544300274,"score_spread":0.2751676673560334,"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."}}