{"id":"W2093643762","doi":"10.1109/icecs.2005.4633600","title":"On the formal verification of a SystemC Packet switch model","year":2005,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"SystemC; Computer science; Programming language; Reachability; Model checking; Formal verification; Finite-state machine; Code (set theory); Abstract state machines; Semantics (computer science); Representation (politics); Formal methods; Embedded system; Theoretical computer science","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.0007021991,0.0000768963,0.0001031644,0.00005418725,0.00005083006,0.00004106525,0.0007583451,0.00004640222,0.000005864976],"category_scores_gemma":[0.00002369716,0.00004628193,0.00004289958,0.0001568156,0.00001561322,0.0004111286,0.00006959852,0.00006389828,0.00005186743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004233227,"about_ca_system_score_gemma":0.00003637043,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001350726,"about_ca_topic_score_gemma":0.000005987862,"domain_scores_codex":[0.9991184,0.00006679064,0.0002500332,0.0001614854,0.0002593933,0.0001438491],"domain_scores_gemma":[0.9988891,0.00009645875,0.0001125214,0.000799604,0.00007691941,0.00002537182],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002265448,0.00002235994,0.000005676351,0.00001331811,0.0000037067,1.236711e-7,0.0004357397,0.0004285695,0.004957376,0.9860053,0.005536664,0.00258888],"study_design_scores_gemma":[0.00005797781,0.00005044318,0.00001412244,0.00003458544,0.000001448522,0.000004721604,0.0000333962,0.8997933,0.09159783,0.008194408,0.0001485504,0.00006919226],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01338295,0.00001597948,0.9508451,0.0008848344,0.00002747264,0.0002876696,7.814235e-7,0.0002407937,0.03431438],"genre_scores_gemma":[0.9463814,0.000001775577,0.05273808,0.0002614885,0.00001931137,0.00004795304,2.975517e-7,0.000004772401,0.0005449178],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9778109,"threshold_uncertainty_score":0.1887322,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02834060801518218,"score_gpt":0.2507440738801535,"score_spread":0.2224034658649713,"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."}}