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

Tool

General

Strix won SYNTCOMP 2019

As in the year before , Strix  won this year’s SYNTCOMP competition in the TLSF/LTL Synthesis Track. Furthermore, the techniques used in Strix will be described in detail in an article which is scheduled to be published in Acta Informatica.

By Christoph Welzel, 3 years3 years ago
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