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
  • Roots : Roots helps you build better WordPress sites faster. Open-source tools for WordPress application development. LEMP stack Project boilerplate Starter ...
  • 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...
  • Draft : Simple app development & deployment - into any Kubernetes cluster. Draft makes it easy to build applications that run on Kubernetes. Draft targets the...
  • 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...
  • 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...

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
1637 links
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Theme by kalvn