{"id":"W3088182729","doi":"10.1145/3324884.3416631","title":"Trace-checking signal-based temporal properties","year":2020,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission; H2020 European Research Council; Université du Luxembourg","keywords":"TRACE (psycholinguistics); Computer science; Temporal logic; Specification language; SIGNAL (programming language); Programming language; Model checking; Formal specification; Theoretical computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002407531,0.0000770127,0.0000828651,0.00002742945,0.00006306508,0.000109694,0.0005575946,0.00003186113,0.00004348359],"category_scores_gemma":[0.00007213096,0.0000602179,0.00003499263,0.0002679997,0.00002838759,0.0004497159,0.00006631642,0.00008472752,0.00009298304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001674162,"about_ca_system_score_gemma":0.00006537972,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001681944,"about_ca_topic_score_gemma":9.168773e-7,"domain_scores_codex":[0.9992132,0.00007195331,0.000155398,0.0002273498,0.000191422,0.0001406328],"domain_scores_gemma":[0.9995837,0.00001742786,0.00004810186,0.0002264462,0.00004406528,0.00008030436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001129741,0.0002401573,0.006038502,0.0003399703,0.00003974112,0.00003509831,0.009989791,0.008509982,0.2071431,0.3069693,0.005046052,0.4555354],"study_design_scores_gemma":[0.0001071677,0.00007543516,0.0003017016,0.000007339106,0.000001273457,9.339457e-7,0.00002992958,0.7915908,0.2019011,0.0001491885,0.005730016,0.000105176],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007173932,0.00005259355,0.984962,0.003703085,0.00007836774,0.0001156819,1.865539e-7,0.0003759888,0.003538166],"genre_scores_gemma":[0.5217627,2.304626e-7,0.4771319,0.001011397,0.00002694821,0.0000066123,2.157348e-7,0.000003325119,0.00005665906],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7830808,"threshold_uncertainty_score":0.2455615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1212108415686047,"score_gpt":0.2781040980665356,"score_spread":0.1568932564979309,"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."}}