{"id":"W2113201355","doi":"10.5555/823453.823837","title":"Bridging CSP and C++ with selective formalism and executable specifications","year":2003,"lang":"en","type":"article","venue":"International Conference on Formal Methods and Models for Co-Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Communicating sequential processes; Programming language; Executable; Formal specification; Formalism (music); Formal methods; Specification language; Language Of Temporal Ordering Specification; Formal verification; Concurrency; Inter-process communication; Semantics (computer science); Operational semantics; Distributed computing","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.003168037,0.0009548204,0.0004390819,0.001108597,0.0006611739,0.001884028,0.002010586,0.001103183,0.002152136],"category_scores_gemma":[0.00543797,0.0006378362,0.0008171608,0.001612575,0.002609374,0.002513433,0.002265452,0.002201366,0.0009172143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006876434,"about_ca_system_score_gemma":0.003024325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001888609,"about_ca_topic_score_gemma":0.001862773,"domain_scores_codex":[0.996874,0.0008770026,0.0002677083,0.000299681,0.001453472,0.0002281347],"domain_scores_gemma":[0.9962924,0.001950271,0.0002886284,0.0008174602,0.0004967838,0.000154438],"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.00005653044,0.00003687297,0.000222011,0.0002030196,0.00001221977,0.0003991071,0.0005120191,0.01065887,0.009138578,0.9234449,0.001729296,0.05358655],"study_design_scores_gemma":[0.0001131546,0.0001527484,0.0002799318,0.000135189,0.00004171287,0.0008059556,0.0002179973,0.2299996,0.0425751,0.6151381,0.1104824,0.00005817042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002880025,0.00007487791,0.9933032,0.0001437392,0.00002143721,0.00006057469,0.00003481644,0.000492248,0.002989043],"genre_scores_gemma":[0.1076388,0.0006361676,0.8868062,0.0003226533,0.00007609251,0.0004892334,0.0003192984,0.000332158,0.003379326],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003168037,"threshold_uncertainty_score":0.01675433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2204781045556363,"score_gpt":0.3901348550870173,"score_spread":0.169656750531381,"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."}}