{"id":"W2623081226","doi":"","title":"An effective fixed point calculus for deterministic systems applied to model checking","year":2001,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Fixed point; Model checking; Transition system; Computer science; Heuristics; Automaton; Algorithm; Theoretical computer science; Computation; Mathematics; Mathematical optimization","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.003604088,0.0007655016,0.001086968,0.001390085,0.0009868587,0.002382774,0.001696066,0.001168228,0.003192835],"category_scores_gemma":[0.007117087,0.0009354139,0.001630043,0.001146979,0.003189331,0.002661241,0.002195138,0.002926948,0.0008868619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001307889,"about_ca_system_score_gemma":0.002312506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004012846,"about_ca_topic_score_gemma":0.004151762,"domain_scores_codex":[0.9977852,0.0006352201,0.0001743479,0.0002848161,0.0008976212,0.0002226598],"domain_scores_gemma":[0.9970694,0.001761387,0.0001155743,0.0005535453,0.0004029609,0.00009724129],"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.00009039352,0.0000643139,0.0003027664,0.0001545173,0.00004538532,0.0003417107,0.0004202418,0.03649541,0.007040651,0.8839015,0.002053912,0.06908921],"study_design_scores_gemma":[0.00008115373,0.00007733161,0.0002155221,0.0000913256,0.0001262591,0.0001897309,0.00004691893,0.3170968,0.009796742,0.6418284,0.03039573,0.00005404174],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003537466,0.0002651472,0.9922959,0.0001610973,0.0001312892,0.00005979069,0.00005147633,0.0009433814,0.00255452],"genre_scores_gemma":[0.2913693,0.000819899,0.696754,0.000220374,0.0002735266,0.0003472341,0.0001851081,0.0005507258,0.009479744],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004012846,"threshold_uncertainty_score":0.01906043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02046725733468969,"score_gpt":0.2723576569820687,"score_spread":0.251890399647379,"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."}}