{"id":"W2008416362","doi":"10.1007/s10009-002-0082-5","title":"Hierarchical formal verification using a hybrid tool","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Intelligent verification; HOL; Formal verification; Functional verification; Runtime verification; High-level verification; Theory of computation; Component (thermodynamics); Software verification; Verification; Formal methods; Model checking; Programming language; Computer architecture; Embedded system; Software; Software development; Software construction","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001511912,0.0005217636,0.0005666707,0.0008387503,0.0007849815,0.001044249,0.001265024,0.0007313309,0.005449034],"category_scores_gemma":[0.002348433,0.0006439927,0.001082985,0.0004606843,0.001267718,0.002037671,0.002153428,0.0009952736,0.000872019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004889418,"about_ca_system_score_gemma":0.0008476138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001056083,"about_ca_topic_score_gemma":0.001433614,"domain_scores_codex":[0.9987187,0.0002842676,0.00010708,0.0002357713,0.0005251283,0.0001290406],"domain_scores_gemma":[0.9967102,0.001836386,0.0001462004,0.0009359836,0.0002801577,0.00009118159],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001146691,0.000386971,0.004531067,0.0007290342,0.0002309958,0.001110642,0.001060166,0.1275213,0.2153917,0.2925545,0.003484853,0.3518521],"study_design_scores_gemma":[0.0002610564,0.0004314909,0.001169322,0.00006670781,0.0001862818,0.000496158,0.0001283725,0.756146,0.1074177,0.1177622,0.0158453,0.00008954569],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02246901,0.00003274224,0.9721091,0.0000304216,0.00001926192,0.00005917454,0.00005186243,0.0038694,0.001358858],"genre_scores_gemma":[0.4061143,0.00004573827,0.590814,0.00004621109,0.00001488863,0.0001528712,0.0001970163,0.0004453647,0.002169573],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005449034,"threshold_uncertainty_score":0.01822883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04344229729073261,"score_gpt":0.3178908435027292,"score_spread":0.2744485462119966,"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."}}