{"id":"W2162105624","doi":"10.1007/3-540-46419-0_32","title":"VIP: A Visual Editor and Compiler for v-Promela","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Promela; Programming language; Computer science; Validator; Model checking; Compiler","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.0008761582,0.002219839,0.001205592,0.0014128,0.0006845229,0.003304991,0.003990265,0.001168951,0.1486927],"category_scores_gemma":[0.003317092,0.002527746,0.001835192,0.001126269,0.0007410382,0.003012287,0.002727648,0.003557274,0.07257444],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006622908,"about_ca_system_score_gemma":0.001314688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001441213,"about_ca_topic_score_gemma":0.001917416,"domain_scores_codex":[0.9993746,0.00006372664,0.00007625495,0.0001323023,0.0002513421,0.0001018036],"domain_scores_gemma":[0.9989447,0.0004650909,0.00005615426,0.0001639465,0.0002364433,0.000133581],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008579247,0.0001196195,0.0004548085,0.002031921,0.00009807366,0.0006660757,0.0004285847,0.008068289,0.02161993,0.0331762,0.6410567,0.2914219],"study_design_scores_gemma":[0.0004733874,0.00007836444,0.0002903985,0.000363299,0.00008618649,0.0007453568,0.00008924127,0.03688728,0.03780591,0.02930036,0.8937518,0.0001283313],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001249208,0.0002499696,0.6043482,0.0002456861,0.0006033291,0.0002230103,0.00770972,0.3556224,0.02974845],"genre_scores_gemma":[0.03620893,0.001154295,0.450049,0.001197157,0.0004400726,0.0009609869,0.02145554,0.3890616,0.09947243],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1486927,"threshold_uncertainty_score":0.4974266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01233067381206515,"score_gpt":0.2651692968820454,"score_spread":0.2528386230699803,"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."}}