Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jean Fortin, Frédéric Gava. BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. International Journal of Parallel Programming, 44(3):574-597, 2016. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms. (BSP-Why, a tool for deductive verification of BSP programs : sémantiques mécanisées et application aux algorithmes d'espace d'états distribués)Jean Fortin. PhD thesis, University of Paris-Est, France, 2013. [doi] Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation CaseJean Fortin, Frédéric Gava. ica3pp 2015: 222-237 [doi] Programming bsp and multi-bsp algorithms in mlVictor Allombert, Frédéric Gava. tjs, 76(7):5079-5097, 2020. [doi]
The following publications are possibly variants of this publication: