{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006707392,0.001387848,0.00144179,0.002098965,0.001520616,0.002809551,0.004011669,0.002212182,0.003706936],"category_scores_gemma":[0.04426197,0.001489473,0.002906162,0.001921185,0.004783026,0.008095414,0.005895172,0.004665085,0.0006326544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002116852,"about_ca_system_score_gemma":0.003121591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01280336,"about_ca_topic_score_gemma":0.01804999,"domain_scores_codex":[0.99045,0.003443433,0.0005287038,0.001049007,0.003429371,0.001099456],"domain_scores_gemma":[0.9525137,0.03642756,0.001654764,0.006855498,0.002150842,0.0003977189],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008028788,0.0002710678,0.0042912,0.0006309861,0.0001538842,0.0006992512,0.001221054,0.5564099,0.01495629,0.244688,0.003068614,0.1728069],"study_design_scores_gemma":[0.00004244976,0.00007003501,0.0002264549,0.00008088828,0.00008106427,0.00007168751,0.00005243495,0.8594376,0.00700029,0.1319691,0.0009291312,0.00003884643],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01108803,0.0001007817,0.9857975,0.0002539195,0.00003945982,0.00006017788,0.00004489347,0.001460581,0.001154726],"genre_scores_gemma":[0.6039579,0.000364341,0.3892383,0.0007634683,0.000112953,0.000245882,0.0003316115,0.001448585,0.003536907],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01280336,"threshold_uncertainty_score":0.03547245,"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."}}