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...
  • Telepresence : Telepresence, in conjunction with a containerized development environment, gives the developer a fast development workflow in developing a multi-conta...
  • Roots : Roots helps you build better WordPress sites faster. Open-source tools for WordPress application development. LEMP stack Project boilerplate Starter ...
  • Tilt : Tilt makes it possible to develop all your microservices locally in Kubernetes while collaborating with your team. Write a Tiltfile script that descri...
  • 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
1633 links
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Theme by kalvn