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
  • Pre : Pre is a PHP preprocessor, designed to make adding new syntax effortless. It's also a collection of pre-built macros, which we use because they make o...
  • 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...
  • Binci : Binci is a utility that allows you to easily containerize your development workflow using Docker. Simply put, it's like having a cleanroom for all of ...
  • Draft : Simple app development & deployment - into any Kubernetes cluster. Draft makes it easy to build applications that run on Kubernetes. Draft targets the...
  • Neutrino : Neutrino is a companion tool which lets you build web and Node.js applications with shared presets or configurations. It intends to make the process o...

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