{"id":"W1536697195","doi":"10.1109/hicss.2000.926972","title":"On verifying distributed multithreaded Java programs","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Computer science; Concurrency; Programming language; Java; Java concurrency; Java Modeling Language; Thread (computing); Distributed computing; Real time Java; Software engineering; strictfp","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.004075288,0.0007421185,0.0006539224,0.0008761212,0.0009114923,0.001413809,0.001601403,0.001079953,0.001155584],"category_scores_gemma":[0.02272008,0.0004596703,0.001251357,0.001065765,0.003150125,0.003446805,0.002388008,0.001679837,0.0002896001],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009866511,"about_ca_system_score_gemma":0.002279835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005559545,"about_ca_topic_score_gemma":0.00320052,"domain_scores_codex":[0.9947089,0.001399567,0.00030779,0.0007126206,0.002383057,0.0004880543],"domain_scores_gemma":[0.9889768,0.007341345,0.0006557851,0.001774703,0.001084003,0.0001673462],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007510442,0.0005407487,0.00742274,0.0008143215,0.0001593163,0.001980798,0.001999542,0.3268432,0.08238004,0.338773,0.002369326,0.2359659],"study_design_scores_gemma":[0.0001719137,0.0003386794,0.001264937,0.00009801598,0.00009315363,0.0004454091,0.0002363155,0.7647572,0.06722911,0.159084,0.006226727,0.00005460189],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04025931,0.0001211767,0.9564502,0.0002440928,0.00004576737,0.0000905243,0.00004086052,0.001321135,0.001426938],"genre_scores_gemma":[0.6708486,0.0004986916,0.3252368,0.0002912799,0.0000870888,0.0002262135,0.0002621241,0.0002933563,0.002255815],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005559545,"threshold_uncertainty_score":0.02155244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0477976078715833,"score_gpt":0.3074258445650604,"score_spread":0.2596282366934771,"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."}}