{"id":"W1581024742","doi":"10.1007/978-3-642-03240-0_12","title":"Formal Verification of the Implementability of Timing Requirements","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Mathematical proof; Jitter; Component (thermodynamics); Operator (biology); Property (philosophy); Static timing analysis; Software; Simple (philosophy); Formal verification; Software engineering; Theoretical computer science; Programming language; Embedded system; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.002423038,0.0002570943,0.0003546759,0.0003040108,0.0001548268,0.00006358406,0.003646554,0.0001588257,0.00001006522],"category_scores_gemma":[0.0001793694,0.0002013545,0.0001324191,0.0005953523,0.000649143,0.0008294343,0.001005574,0.0003455055,0.000002093438],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000259078,"about_ca_system_score_gemma":0.0003667469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001819618,"about_ca_topic_score_gemma":0.00001183865,"domain_scores_codex":[0.9969563,0.00007140802,0.0008720476,0.0007098373,0.001018134,0.0003722876],"domain_scores_gemma":[0.9966364,0.0001605174,0.0008587816,0.001985689,0.0003084935,0.00005014276],"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.000006132439,0.00003121422,0.0002049513,0.00005881023,0.000005223016,3.940397e-7,0.0006506855,0.002908834,0.002582515,0.05601461,0.000002380701,0.9375343],"study_design_scores_gemma":[0.0005067336,0.000477532,0.01646069,0.0007306642,0.00002585281,0.00002226306,9.515846e-7,0.4790384,0.2406547,0.2605274,0.000837271,0.0007175073],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009347775,0.00007027615,0.9954714,0.0001597495,0.0008732311,0.0004741898,0.000005382883,0.00002990043,0.001981106],"genre_scores_gemma":[0.3531961,0.000009526317,0.6465495,0.0001473119,0.00005322423,0.000003830381,0.000001804834,0.000007892279,0.00003076564],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9368168,"threshold_uncertainty_score":0.8211,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05685859907238569,"score_gpt":0.3245546435799199,"score_spread":0.2676960445075343,"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."}}