{"id":"W2573846983","doi":"10.7561/sacs.2016.1.69","title":"Faithful Modeling of Product Lines with Kripke Structures and Modal Logic","year":2016,"lang":"en","type":"article","venue":"Scientific Annals of Computer Science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Kripke structure; Modal logic; Normal modal logic; Kripke semantics; Modal; Modal μ-calculus; Accessibility relation; Multimodal logic; Product (mathematics); Computer science; Mathematics; Algorithm; Programming language; Materials science; Model checking; Geometry; Description logic","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.001836263,0.0008051041,0.0005097564,0.001209735,0.000813762,0.002618125,0.002381629,0.001300979,0.002534786],"category_scores_gemma":[0.003724991,0.0007543874,0.00190881,0.0009541738,0.003786513,0.006047233,0.002237284,0.002503663,0.0005527886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002253836,"about_ca_system_score_gemma":0.001422041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003833405,"about_ca_topic_score_gemma":0.00402758,"domain_scores_codex":[0.9984188,0.0005164105,0.0001187697,0.000259328,0.0005327103,0.0001539727],"domain_scores_gemma":[0.9979745,0.000841971,0.0002854622,0.0006078818,0.0002106304,0.00007974031],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002883992,0.00002888248,0.0001780774,0.00004872377,0.0000161913,0.0001179863,0.0003593579,0.06391889,0.001972144,0.9245356,0.0003118793,0.008483403],"study_design_scores_gemma":[0.00002823511,0.00003504291,0.0000857062,0.00003023603,0.00002249052,0.00006195846,0.0000641057,0.2617477,0.002834878,0.7284358,0.006633583,0.00002019705],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008762929,0.00009667111,0.9868352,0.0001996191,0.00001323017,0.00003710594,0.00008313361,0.0004603448,0.003511823],"genre_scores_gemma":[0.4406863,0.0003997649,0.5532244,0.0001414196,0.00006381043,0.0002841099,0.000278342,0.0001989586,0.00472284],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003833405,"threshold_uncertainty_score":0.01635277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09237339288894514,"score_gpt":0.3218694497357348,"score_spread":0.2294960568467897,"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."}}