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 formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“We are lonesome animals. We spend all our life trying to be less lonesome. One of our ancient methods is to tell a story begging the listener to say—and to feel—”Yes, that’s the way it is, or at least that’s the way I feel it. You’re not as alone as you thought.””
—John Steinbeck (1902–1968)
Related Subjects
Related Phrases
Related Words