Formal Methods and Notations
There are a variety of formal methods and notations available.
- Specification languages
- Abstract State Machines (ASMs)
- ANSI/ISO C Specification Language (ACSL)
- Alloy
- B-Method
- CADP
- Common Algebraic Specification Language (CASL)
- Process calculi
- CSP
- LOTOS
- π-calculus
- Actor model
- Esterel
- Lustre
- mCRL2
- Perfect Developer
- Petri nets
- RAISE
- SPARK Ada
- Specification and Description Language
- Temporal logic of actions (TLA)
- USL
- VDM
- VDM-SL
- VDM++
- Z notation
- Rebeca Modeling Language
- Model checkers
- SPIN
- PAT is a powerful free model checker, simulator and refinement checker for concurrent systems and CSP extensions (e.g. shared variables, arrays, fairness).
- MALPAS Software Static Analysis Toolset is an industrial strength model checker used for Formal Proof of safety critical systems
Read more about this topic: Formal Methods
Famous quotes containing the words formal and/or methods:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“The reading public is intellectually adolescent at best, and it is obvious that what is called “significant literature” will only be sold to this public by exactly the same methods as are used to sell it toothpaste, cathartics and automobiles.”
—Raymond Chandler (1888–1959)