PaVeS
  • Home
  • News
  • Publications
    • Publication List
    • Previous Work
  • Tools
    • Peregrine
      • Demo
    • Strix
      • Demo
    • Ostrich
    • Heron
  • Team
  • Internal
  • Contact

Peregrine

Peregrine

Peregrine 0.1

We just published version 0.1 of our tool peregrine with new features. There even is an online demo for you to try out so you can simulate and verify population protocols in your browser!

By Martin Helfrich, 6 yearsJanuary 10, 2019 ago
News
  • Research visit of Ahmed Bouajjani in June and July May 23, 2022
  • PaVeS @ FoSSaCS’22 April 13, 2022
  • Submission & Best Paper Award for PaVeS @ SAND’22 February 24, 2022
Archives
Categories
  • Home
  • News
  • Publications
  • Tools
  • Internal
  • Contact
Hestia | Developed by ThemeIsle