{"id":"W4249356154","doi":"10.1145/587072.587073","title":"Model exploration with temporal logic query checking","year":2002,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Temporal logic; Computer science; Interval temporal logic; Computation tree logic; Model checking; Linear temporal logic; Theoretical computer science; Dynamic logic (digital electronics); Temporal logic of actions; Set (abstract data type); Computation; Programming language","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.007463691,0.001289155,0.001209768,0.001951322,0.001001079,0.003342321,0.003156349,0.001538939,0.004468022],"category_scores_gemma":[0.03270255,0.001133042,0.003464866,0.001776612,0.004004323,0.006631519,0.005544953,0.002807244,0.0004971036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002149408,"about_ca_system_score_gemma":0.003666535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008504678,"about_ca_topic_score_gemma":0.007730774,"domain_scores_codex":[0.9898626,0.004485233,0.0004996391,0.001120832,0.003323979,0.00070783],"domain_scores_gemma":[0.9699492,0.02360926,0.00126079,0.003298011,0.001612245,0.0002703948],"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.0008900799,0.0003847574,0.003626847,0.0006488457,0.0003319735,0.0009917975,0.0009172803,0.4583372,0.01410369,0.3343621,0.006453741,0.1789515],"study_design_scores_gemma":[0.0001139787,0.00006337173,0.0001070398,0.00004088673,0.00006683554,0.0001390502,0.00007283372,0.8468319,0.01046461,0.1382803,0.003784742,0.00003457301],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01145339,0.0001083306,0.9823046,0.0004030445,0.00002839968,0.0001114461,0.0001269035,0.003580498,0.001883432],"genre_scores_gemma":[0.3389095,0.0002811465,0.6567794,0.0004012046,0.00006576831,0.000272382,0.0006216717,0.0008382852,0.00183058],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008504678,"threshold_uncertainty_score":0.03947228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07612832894166262,"score_gpt":0.2355408549540628,"score_spread":0.1594125260124002,"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."}}