LiveIssues
← All organizations

TLA+

TLA+ is a formal specification language used to design, model and verify systems

Programming languages
GitHubWebsite
1Year in GSoC
2018
1Total projects
1Projects that year
1Projects in 2018

Issues from TLA+, matched to you

Sign in with GitHub and LiveIssues checks what you already write against this organization's repositories, then brings you open issues nobody has claimed. Free and read-only.

Find my match

Technologies

Java

Recent projects

  1. 2018CONCURRENT ON-THE-FLY SCC-BASED LTL MODEL CHECKINGGSoC page

Links & contact

GSoCMailing listTwitter