{"id":"W2012984207","doi":"10.1007/s00165-014-0323-x","title":"Proof-based verification approaches for dynamic properties: application to the information system domain","year":2014,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Reachability; Computer science; Property (philosophy); Set (abstract data type); Domain (mathematical analysis); Proof of concept; Range (aeronautics); Theoretical computer science; Programming language; Mathematics; Engineering","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.005310749,0.0005273819,0.0005326485,0.001512809,0.001066652,0.001982438,0.001463602,0.00115552,0.005394933],"category_scores_gemma":[0.01082112,0.0007611731,0.001051403,0.0006711528,0.002862964,0.003638131,0.002585982,0.002107939,0.0009632211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009285299,"about_ca_system_score_gemma":0.001689542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001996854,"about_ca_topic_score_gemma":0.00164476,"domain_scores_codex":[0.9973411,0.00138054,0.0001986749,0.0002475663,0.0006941757,0.0001379067],"domain_scores_gemma":[0.9868755,0.01098163,0.0004350567,0.0008449206,0.0006791799,0.0001836228],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002119989,0.000333091,0.0008094046,0.0009368462,0.00008192882,0.001372441,0.001119364,0.08114396,0.03824775,0.6754022,0.0037317,0.1966093],"study_design_scores_gemma":[0.0002903773,0.0001393958,0.0002074006,0.0003762376,0.00004900468,0.0006873529,0.0001940697,0.6250395,0.05051119,0.288278,0.03414952,0.00007789773],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003277098,0.00008309486,0.9939969,0.0001697319,0.00001794901,0.0001242531,0.00002886497,0.0006555153,0.001646662],"genre_scores_gemma":[0.1170217,0.0002486824,0.8807009,0.0001213641,0.00001784069,0.0002185114,0.00006096702,0.0002522431,0.001357815],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005394933,"threshold_uncertainty_score":0.02808625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02273141283079378,"score_gpt":0.2393801785401524,"score_spread":0.2166487657093586,"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."}}