tlaplus / foundation

TLA+ Foundation
23 stars 4 forks source link

One-pager (pitch) why companies would want to join our foundation #3

Open lemmy opened 2 years ago

lemmy commented 2 years ago

Please add links to papers that support our claim that TLA+ provides real value for "ordinary" (software) engineering.

Initially created by @pron.

pron commented 2 years ago

This is an executive summary targeted at executives. At least two companies (Oracle and Mongo) asked for one. Because of that, there is a pretty strict length limit. It should be something that an executive can read in under two minutes, so about 500 words.