{"id":"W2159348557","doi":"10.1142/s0218126607004052","title":"A DESIGN FOR VERIFICATION APPROACH USING AN EMBEDDING OF PSL IN AsmL","year":2007,"lang":"en","type":"article","venue":"Journal of Circuits Systems and Computers","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"SiliconPro (Canada); Concordia University","funders":"","keywords":"Computer science; Abstract state machines; Programming language; Embedding; Unified Modeling Language; Finite-state machine; Code (set theory); Model checking; Embedded system; Theoretical computer science; Software; Artificial intelligence","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.005472407,0.00009015762,0.0002726038,0.0003462338,0.00004910684,0.00009034494,0.0004011136,0.00006663724,6.152743e-8],"category_scores_gemma":[0.00004654032,0.00008325519,0.00004472407,0.0002913692,0.00002532704,0.0007702238,0.00002203826,0.00009557331,4.968193e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008027378,"about_ca_system_score_gemma":0.0000674622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001035988,"about_ca_topic_score_gemma":1.260587e-7,"domain_scores_codex":[0.9985005,0.0002124949,0.0007257799,0.0001582288,0.0002354207,0.0001675338],"domain_scores_gemma":[0.9985533,0.00017636,0.0007638629,0.0002050303,0.0002233508,0.00007803476],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001094475,0.0005559803,0.001365865,0.0009294251,0.0001043338,0.00001929248,0.01331829,0.5330679,0.07490204,0.1041029,0.0000377298,0.2714868],"study_design_scores_gemma":[0.000438948,0.0002449965,0.001634199,0.0001481577,0.000007866811,0.0003115858,0.0002983068,0.9944154,0.002086585,0.000288243,0.00003173524,0.00009397551],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1203286,0.0002004989,0.8785888,0.00000420347,0.0006049115,0.0002359855,2.946169e-7,0.00000783879,0.00002884791],"genre_scores_gemma":[0.5524012,0.000003231248,0.4475141,0.00000631432,0.00006890264,0.000001211098,1.559568e-7,0.000004098145,7.57637e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4613475,"threshold_uncertainty_score":0.3395048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1152658094134228,"score_gpt":0.3423771423637977,"score_spread":0.2271113329503749,"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."}}