Formal methods tools | Formal specification languages

CoreASM

CoreASM is an open source project (licensed under Academic Free License version 3.0) that focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation, and formal verification (where appropriate) of abstract system models. Abstract state machines are known for their versatility in modeling of algorithms, architectures, languages, protocols, and virtually all kinds of sequential, parallel, and distributed systems. The ASM formalism has been studied extensively by researchers in academia and industry for more than 15 years with the intention to bridge the gap between formal and pragmatic approaches. Model-based systems engineering can benefit from abstract executable specifications as a tool for design exploration and experimental validation through simulation and testing. Building on experiences with two generations of ASM tools, a novel executable ASM language, called CoreASM, is being developed (see CoreASM homepage). The CoreASM language emphasizes freedom of experimentation, and supports the evolutionary nature of design as a product of creativity. It is particularly suited to Exploring the problem space for the purpose of writing an initial specification. The CoreASM language allows writing of highly abstract and concise specifications by minimizing the need for encoding in mapping the problem space to a formal model, and by allowing explicit declaration of the parts of the specification that are purposely left abstract. The principle of minimality, in combination with robustness of the underlying mathematical framework, improves modifiability of specifications, while effectively supporting the highly iterative nature of specification and design. (Wikipedia).

Video thumbnail

Solid State Physics in a Nutshell: Topic 6-1: Planck Distribution and Einstein Heat Capacity

We first introduce the Planck distribution which describes the population of phonons as a function of temperature. We then applied Einstein's model of isolated oscillators to the heat capacity of phonons.

From playlist CSM: Solid State Physics in a Nutshell | CosmoLearning.org Physics

Video thumbnail

Solid State Physics in a Nutshell: Topic 5-4: Phonon Density of States

In this video we first look at how the q-space is discrete for a finite solid and has a finite range. We then examine the phonon density of states.

From playlist CSM: Solid State Physics in a Nutshell | CosmoLearning.org Physics

Video thumbnail

What are the names of different types of polygons based on the number of sides

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

Polymorph - Chem Definition

Polymorphs can be a headache for people who make pharmaceuticals. Find out why? More chemistry at http://www.periodicvideos.com/

From playlist Chem Definition - Periodic Videos

Video thumbnail

What are four types of polygons

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

Sketch a figure from a net

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

What is the difference between convex and concave

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

Solid State Physics in a Nutshell: Topic 3-0: Fourier Series

This video discusses Fourier series and how they can be used to build complex functions from simple periodic functions, like sines and cosines.

From playlist CSM: Solid State Physics in a Nutshell | CosmoLearning.org Physics

Video thumbnail

What is a net

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Video thumbnail

What are convex polygons

👉 Learn about polygons and how to classify them. A polygon is a plane shape bounded by a finite chain of straight lines. A polygon can be concave or convex and it can also be regular or irregular. A concave polygon is a polygon in which at least one of its interior angles is greater than 1

From playlist Classify Polygons

Related pages