{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006131561,0.0002227748,0.0002673502,0.0001812507,0.0004250292,0.0005046634,0.001670145,0.0001136588,0.000003467367],"category_scores_gemma":[0.001192129,0.0002354813,0.00008746473,0.000588509,0.00007457851,0.0004370517,0.0003102121,0.0001560887,0.00002864722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001717227,"about_ca_system_score_gemma":0.00008813234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001061813,"about_ca_topic_score_gemma":0.00007834029,"domain_scores_codex":[0.9963595,0.001758352,0.0004197813,0.0007223031,0.0003215462,0.0004185463],"domain_scores_gemma":[0.9954149,0.0009413539,0.0002484494,0.002034858,0.001102804,0.0002576337],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003415417,0.0003135918,0.00009077379,0.00006982332,0.0000206531,0.000002084229,0.008720963,0.007700773,0.02976977,0.7994443,0.0001091292,0.153724],"study_design_scores_gemma":[0.0003834654,0.000002217303,0.0007422054,0.000153787,0.00001123726,0.00001406956,0.00007007115,0.9527243,0.04228784,0.00208085,0.001257732,0.0002721812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02773998,0.00004670462,0.96009,0.0007047377,0.0001959108,0.001227985,0.000009872241,0.0003380564,0.009646775],"genre_scores_gemma":[0.5519083,0.000005703572,0.4471412,0.00008808584,0.00001380315,0.0003790354,0.00001654488,0.00001875627,0.0004286571],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9450236,"threshold_uncertainty_score":0.9602648,"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."}}