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
  • codebender : Codebender is an embedded development platform with an emphasis on the Arduino and it’s completely web-based, so you don’t have to install, manage and...
  • Tilt : Tilt makes it possible to develop all your microservices locally in Kubernetes while collaborating with your team. Write a Tiltfile script that descri...
  • 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...
  • Roots : Roots helps you build better WordPress sites faster. Open-source tools for WordPress application development. LEMP stack Project boilerplate Starter ...
  • 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...

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