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
  • 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...
  • 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...
  • monday : Your new microservice development environment friend. This CLI tool allows you to define a configuration to work with both local applications (Go, Nod...
  • 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...
  • 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...

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