{"id":"W4251310166","doi":"10.5220/0006865706490656","title":"On Handling Source Code Positions and Local Variables in LTL Software Model Checking","year":2018,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Programming language; Source code; Model checking; Code (set theory); Software; Software engineering; 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.0002090709,0.0001357992,0.000133877,0.0001617683,0.0001090149,0.0000990422,0.0003633446,0.00008526332,0.000005168611],"category_scores_gemma":[0.00001611324,0.0001327213,0.00002233786,0.0002124613,0.00006504226,0.0002621519,0.0002453946,0.0001499941,0.00000657237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006411747,"about_ca_system_score_gemma":0.00003565091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000813669,"about_ca_topic_score_gemma":0.00004725005,"domain_scores_codex":[0.999052,0.0000184999,0.0001630587,0.0003604693,0.0001551466,0.0002507906],"domain_scores_gemma":[0.999386,0.00008347351,0.00002782937,0.0003748955,0.00005686286,0.00007096087],"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.000008495111,0.0000863067,0.0006039601,0.0000277448,0.00001196499,0.000009100076,0.001425109,0.3748802,0.0006586772,0.5463557,0.00062208,0.07531071],"study_design_scores_gemma":[0.0001302899,0.00006196561,0.0001055023,0.0001108083,0.000002021287,0.0000099983,0.000002030684,0.9822856,0.002748934,0.01401587,0.0003630621,0.0001639886],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008956139,0.00001933602,0.9894622,0.0001264762,0.00004324257,0.00009817376,0.000002136283,0.00105253,0.0002397427],"genre_scores_gemma":[0.4576696,0.000002385724,0.5420318,0.0001763921,0.00001534794,0.00001048477,8.229399e-7,0.000009293979,0.00008394737],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6074054,"threshold_uncertainty_score":0.5412216,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01375513628272892,"score_gpt":0.239834522818924,"score_spread":0.2260793865361951,"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."}}