What Are Formal Specifications And What Do They Look Like
"Typically, specifications are written in formal specification languages such as TLA+ or Alloy. While programming languages are designed to be run, specification languages are designed to be simulated, and therefore include features like nondeterminism (this call can succeed or fail), atomicity (the server can crash between these two calls), and scalability (10 servers will be trying to make this call). Specification languages can also delineate the parts of the spec you’ve carefully thought through, as well as the parts you’ve shunted to the side for the time being.
4
7 reads
CURATED FROM
IDEAS CURATED BY
These ideas have greatly influenced my software practice and helped me to build better systems than before.
“
The idea is part of this collection:
Learn more about computerscience with this collection
How to establish a positive team culture
How to collaborate effectively
How to build trust with a new team
Related collections
Similar ideas to What Are Formal Specifications And What Do They Look Like
What are the 12 universal laws, and where do they come from?
The 12 universal laws are thought to be intrinsic, unchanging laws of our universe that ancient cultures have always intuitively known. The laws are often associated with Ho'oponopono, a meditation for freedom originating in ancient Hawaiian culture. Some of the laws, however, are also attributed...
Read & Learn
20x Faster
without
deepstash
with
deepstash
with
deepstash
Personalized microlearning
—
100+ Learning Journeys
—
Access to 200,000+ ideas
—
Access to the mobile app
—
Unlimited idea saving
—
—
Unlimited history
—
—
Unlimited listening to ideas
—
—
Downloading & offline access
—
—
Supercharge your mind with one idea per day
Enter your email and spend 1 minute every day to learn something new.
I agree to receive email updates