{"id":"W2068820234","doi":"10.5555/776816.776834","title":"Computer-assisted assume/guarantee reasoning with VeriSoft","year":2003,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Correctness; Computer science; Complement (music); Counterexample; Program analysis; Visualization; Programming language; Pencil (optics); Theoretical computer science; Static analysis; Artificial intelligence; Mathematics","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.002800658,0.0009302589,0.0007434078,0.001051766,0.0007811252,0.002399185,0.002206933,0.0010689,0.008166323],"category_scores_gemma":[0.01044983,0.001137808,0.001684765,0.0007955858,0.002859963,0.004173119,0.00239535,0.002986659,0.001354481],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001065307,"about_ca_system_score_gemma":0.002143893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002903767,"about_ca_topic_score_gemma":0.004620998,"domain_scores_codex":[0.9973587,0.0007864691,0.0001833234,0.0002496036,0.00115979,0.0002620452],"domain_scores_gemma":[0.991085,0.006226826,0.0004595693,0.001643687,0.0004986218,0.00008633619],"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.0009319785,0.0002640544,0.002181222,0.0006566495,0.000197088,0.0007636612,0.000850636,0.2915562,0.04952088,0.3531178,0.00892243,0.2910373],"study_design_scores_gemma":[0.0001748468,0.00008670607,0.0001979858,0.0000887641,0.00007841986,0.0002512054,0.00004919929,0.7009496,0.04898243,0.2364375,0.01262895,0.00007431422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007565042,0.00006620502,0.9817708,0.0001340535,0.00002676522,0.00003283186,0.00007116241,0.008229575,0.002103534],"genre_scores_gemma":[0.2559332,0.0002019554,0.7399458,0.0001510906,0.00004038245,0.0001534951,0.000262916,0.001240553,0.002070666],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008166323,"threshold_uncertainty_score":0.02731901,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01883768842593263,"score_gpt":0.2467797912585454,"score_spread":0.2279421028326128,"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."}}