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

tool

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, 4 years4 years 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