{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009294958,0.000214132,0.0002105701,0.0006602656,0.0002871607,0.0003676703,0.001608117,0.000205,0.00003079331],"category_scores_gemma":[0.001398675,0.0002033933,0.0001998709,0.0003200256,0.0001234417,0.001953521,0.00004420118,0.0006053753,0.00002628494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002722032,"about_ca_system_score_gemma":0.0001831322,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.47434e-7,"about_ca_topic_score_gemma":2.048649e-7,"domain_scores_codex":[0.9979551,0.00009642325,0.0005850205,0.0003899648,0.0005431778,0.0004302598],"domain_scores_gemma":[0.9986389,0.0001905422,0.0001123946,0.0004380089,0.0005407496,0.00007944844],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00009935414,0.0001341739,0.0001734272,0.000005345973,0.00008247737,0.00002736111,0.00005712955,0.0002916447,0.00345319,0.7844375,0.0000725169,0.2111659],"study_design_scores_gemma":[0.006246475,0.001720063,0.001328074,0.0002453006,0.00008145472,0.008822823,0.0000821179,0.04667901,0.4020928,0.3297219,0.2015015,0.001478515],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1166951,0.00003981618,0.8799518,0.0008659927,0.001715932,0.0002754172,0.00002722194,0.0003125411,0.0001162219],"genre_scores_gemma":[0.3918687,0.000026971,0.6074966,0.0004120525,0.00009123642,0.0000513822,0.000007269272,0.00001914607,0.00002661467],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4547155,"threshold_uncertainty_score":0.8294138,"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."}}