{"id":"W2165235091","doi":"10.1109/eurmic.1998.711805","title":"Verification of real time controllers against timing diagram specifications using constraint logic programming","year":2002,"lang":"en","type":"article","venue":"Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Programming language; Finite-state machine; Consistency (knowledge bases); Logic programming; Constraint (computer-aided design); Controller (irrigation); Constraint logic programming; Constraint programming; Formal specification; Formal verification; Algorithm; Theoretical computer science; Constraint satisfaction; Mathematics; Mathematical optimization","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001196957,0.0005384239,0.000692707,0.000419851,0.0004416051,0.0006119745,0.001837615,0.0002628356,0.000120011],"category_scores_gemma":[0.0008106716,0.0005643418,0.0002010726,0.001072912,0.0005901558,0.001443641,0.0002931692,0.0003348744,0.0003585088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003276553,"about_ca_system_score_gemma":0.0001981472,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003698244,"about_ca_topic_score_gemma":9.09121e-7,"domain_scores_codex":[0.9959651,0.0001203304,0.00126144,0.001194178,0.0005980834,0.0008608627],"domain_scores_gemma":[0.9959567,0.0001330566,0.001278224,0.0007994759,0.001550047,0.0002824697],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003419714,0.0003389469,0.000479493,0.0001401356,0.00006200984,0.000004015003,0.002446493,0.00006575388,0.8258506,0.08564876,0.000280626,0.08464897],"study_design_scores_gemma":[0.0009537135,0.0002408176,0.001598475,0.0002136858,0.00006700798,0.00005226723,0.0003391749,0.9639416,0.02949763,0.0005616622,0.001731938,0.0008020401],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5127887,0.0000863459,0.4270594,0.000816331,0.001154535,0.003165139,0.00005113787,0.001330088,0.05354827],"genre_scores_gemma":[0.4233127,0.0002632621,0.5758445,0.00008314866,0.0001241714,0.00007705206,0.00001759882,0.00003930112,0.0002382758],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9638758,"threshold_uncertainty_score":0.9996808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1519271106969447,"score_gpt":0.2912067880930609,"score_spread":0.1392796773961162,"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."}}