souvenir
Tag cloud
Picture wall
Daily
RSS Feed
  • RSS Feed
  • Daily Feed
Filters

Links per page

  • 20 links
  • 50 links
  • 100 links

Filters

Untagged links
TLA https://lamport.azurewebsites.net/tla/tla.html
09/02/2018 cluster icon
  • DuckRails : DuckRails is a development tool. Its main purpose is to allow developers to quickly mock API endpoints that for many possible reasons can't reach at a...
  • Wick : Wick is a free browser-based toolkit for creating small interactive things for the Internet. With Wick, you can create games, animations, and everythi...
  • Retrospectiva : Retrospectiva is an open source, web-based, project management and bug-tracking tool. It is intended to assist the collaborative aspect of work carrie...
  • OpenHands : OpenHands is a platform for software development agents powered by AI. OpenHands agents can do anything a human developer can: modify code, run comman...
  • Vite : Vite is a build tool that aims to provide a faster and leaner development experience for modern web projects. It consists of two major parts: A dev se...

TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm language, together with their associated tools.
TLA+ is based on the idea that the best way to describe things formally is with simple mathematics, and that a specification language should contain as little as possible beyond what is needed to write simple mathematics precisely. TLA+ is especially well suited for writing high-level specifications of concurrent and distributed systems.

programminglanguage formalverification development tool
1634 links
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Theme by kalvn