{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006431388,0.0004810816,0.0005255605,0.0006967311,0.0003306583,0.0006229621,0.001892032,0.0003472432,0.00001563202],"category_scores_gemma":[0.00005003638,0.0004521252,0.000110493,0.0003520314,0.0005272709,0.0004102938,0.0007706283,0.0004875975,0.00001470179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001209073,"about_ca_system_score_gemma":0.0003054554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007478056,"about_ca_topic_score_gemma":0.000005246158,"domain_scores_codex":[0.9969029,0.00002739655,0.0004670502,0.00144049,0.0005868592,0.0005752902],"domain_scores_gemma":[0.9981539,0.0004876257,0.0002133018,0.0007504396,0.000217843,0.0001768716],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001924696,0.00005517936,0.00001990595,0.00006411513,0.00001712934,0.00002009758,0.0004823597,0.02492245,0.00005620513,0.01721217,0.001093011,0.9560381],"study_design_scores_gemma":[0.0003096575,0.0003211599,0.00003711125,0.0002388686,0.000006241929,0.00003792666,4.448578e-8,0.8545571,0.0004124451,0.1263248,0.01714594,0.0006086829],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002817377,0.0003617633,0.9936519,0.000491132,0.00231081,0.00057957,0.000006978736,0.0004258555,0.002143814],"genre_scores_gemma":[0.01678178,0.000136826,0.9782451,0.001476652,0.002771382,0.00003026141,0.00001023183,0.00004621981,0.000501567],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9554294,"threshold_uncertainty_score":0.9997931,"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."}}