Robuta

https://infoscience.epfl.ch/entities/event/861fc7ea-a7ab-4236-ab4a-e464fd64624e Verification, Model Checking, and Abstract Interpretation (VMCAI) model checking verification abstract interpretation vmcai https://github.com/schaetzc/vmcai-badges GitHub - schaetzc/vmcai-badges: Badges for the artifact evaluation of the VMCAI conference. Put... Badges for the artifact evaluation of the VMCAI conference. Put these on your papers. - schaetzc/vmcai-badges for the artifact evaluation github vmcai badges https://infoscience.epfl.ch/entities/event/b7021343-431d-4d1c-958b-57af0a8a94c2/statistics 9th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) international conference model checking verification