{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006918136,0.001564466,0.001204649,0.002015117,0.0008233574,0.003013174,0.002913019,0.001489047,0.005559212],"category_scores_gemma":[0.04231958,0.0009196136,0.003140499,0.001218893,0.003164341,0.005354169,0.0028039,0.002553525,0.001286119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001550926,"about_ca_system_score_gemma":0.003498478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00486617,"about_ca_topic_score_gemma":0.003707753,"domain_scores_codex":[0.9881248,0.002747311,0.001383184,0.002094799,0.004477587,0.001172312],"domain_scores_gemma":[0.9543744,0.0271949,0.002946628,0.008087967,0.006772479,0.0006235831],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002145278,0.0006668993,0.0150213,0.002197696,0.0007377999,0.002428586,0.001476003,0.422995,0.08506639,0.2925699,0.006265949,0.1684293],"study_design_scores_gemma":[0.0002330622,0.0003894956,0.0007043178,0.0001775632,0.0002361587,0.0004631004,0.0001575372,0.740852,0.09692778,0.1522165,0.007547513,0.00009501247],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02769449,0.0001215445,0.9627036,0.0001415003,0.00007677355,0.0002033791,0.0007037723,0.00622644,0.002128487],"genre_scores_gemma":[0.7079415,0.0002841645,0.2839608,0.0002994304,0.0001015752,0.0005891228,0.002543626,0.00153294,0.002746811],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006918136,"threshold_uncertainty_score":0.036587,"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."}}