1. 2
    Harmonic: LARA Source-To-Source Weaver ☶ c compilers plt specs.fe.up.pt
    timr avatar via timr 2 months ago | cached | no comments
  2. 33
    dgsh — directed graph shell ☶ unix dmst.aueb.gr
    timr avatar via timr 3 months ago | cached | 3 comments
  3. 1
    Azure Durable Functions Overview (preview) distributed web docs.microsoft.com
    timr avatar via timr 6 months ago | cached | no comments
  4. 24
    How to move career into formal verification without previous experience? ☶ ask formalmethods
    timr avatar authored by timr 7 months ago | 21 comments
  5. 4
    Ops School - Everything you need to know about running software devops opsschool.org
    timr avatar via timr 2 years ago | cached | 1 comment
  6. 12
    Use of Formal Methods at Amazon Web Services ☶ design distributed research.microsoft.com
    timr avatar via timr 4 years ago | cached | no comments