1. 4
    Koord: Language and analysis for robust, distributed, cyber-physical systems pdf formalmethods plt programming cyphyhouse.github.io
    ceh avatar via ceh 16 days ago | cached | 3 comments

  1.  

  2. 2
    nickpsecurity avatar nickpsecurity 16 days ago | link

    Neat stuff. Googling it led me to this work in a slide deck:

    Formal Specification and Analysis of Robust, Adaptive, Distributed Systems

    1. 2
      ceh avatar ceh edited 16 days ago | link

      Cool. Thanks for sharing!

    2. 2
      ceh avatar ceh 16 days ago | link

      Slides: https://cyphyhouse.github.io/slides/slides-koord-language-design-and-overview-2.html