Formal methods tools | Formal specification languages

Rodin tool

The Rodin tool is a tool for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B.The two main characteristics of the Rodin tool are its ease of use and its extensibility.The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead of demanding the opposite. The Event-B wiki is a useful user and developer resource. Rodin (Rigorous Open Development Environment for Complex Systems) is an extension of Eclipse IDE (Java based).Rodin Eclipse Builder coordinates: * Well-formedness + type checker * Proof obligation generator * Proof manager * Propagation of changes (Wikipedia).

Video thumbnail

The Most Powerful Laser Metal Cutting Machines

Each of these machines, which have different models and techniques for metal cutting, impresses with features that surpass the others. How would you like to take a look at them together? A laser cutting machine is an automatic laser system with a CNC controller, which adopts CO2 or fiber l

From playlist Satisfying Machines

Video thumbnail

Building a Fly Cutter - Addendum

Some Q&A; a follow-up of sorts, for the fly cutter build. Hope this answers some questions!

From playlist All Uploads

Video thumbnail

Lazy MACHINISTS' JACKS

Machinists' jacks are useful everywhere and can be a great lathe project: turning, threading, knurling, etc. Took the easy way out this time and used threaded rods and nuts. Welded and turned. ----------------- Music: "Tracks Of My Fears" - John Deley and the 41 Players

From playlist Popular, Apparently

Video thumbnail

MFEM Workshop 2022 | Rodin: Density and Topology Optimization Framework

The LLNL-led MFEM (Modular Finite Element Methods) project provides high-order mathematical calculations for large-scale scientific simulations. The project’s second community workshop was held on October 25, 2022, with participants around the world. Learn more about MFEM at https://mfem.o

From playlist MFEM Community Workshop 2022

Video thumbnail

Machine Learning

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Machine Learning

Video thumbnail

Rodin, The Gates of Hell

Auguste Rodin, The Gates of Hell​, 1880-1917, plaster (Musée d'Orsay, Paris) Speakers: Dr. Beth Harris and Dr. Steven Zucker When the building, earlier on the site of the Musée d'Orsay in Paris, was destroyed by fire during the Commune in 1871, plans were drawn up to replace it with a muse

From playlist Art in 19th century Europe | Art History | Khan Academy

Video thumbnail

Behind the scenes: Stanford's Cantor Arts Center reimagines Rodin

The average exhibition takes one to two years of planning before opening to the public and the Cantor Art Center's new envisioning of its Rodin collection is no exception. From fabrication to painting to lighting, it truly takes a well-organized team to pull off an exhibition of this magni

From playlist Stanford Highlights

Video thumbnail

DIY wood plug tool for screws or smaller wooden ear plugs

This is an easy Instant way to make holes in wood. Works perfect. I will be making a larger circle cutter that requires NO CENTER HOLE!

From playlist Woodworking like a Boss

Video thumbnail

Constantin Brancusi, The Kiss

Constantin Brancusi, The Kiss, 1916, limestone, 58.4 x 33.7 x 25.4 cm (Philadelphia Museum of Art) Speakers: Dr. Beth Harris and Dr. Steven Zucker . Created by Beth Harris and Steven Zucker.

From playlist Expressionism to Pop Art | Art History | Khan Academy

Video thumbnail

Physics - Mechanics: Torsion (2 of 14) What is Torsional Constant?

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain what is torsional constant or the “second momentum of area”. Next video in this series can be found at: https://youtu.be/Mr29GDA0jLE

From playlist PHYSICS 16.6 TORSION

Video thumbnail

How to Use Pre-suasive Tactics on Others – and Yourself | Robert Cialdini | Big Think

How to Use Pre-suasive Tactics on Others – and Yourself Watch the newest video from Big Think: https://bigth.ink/NewVideo Join Big Think Edge for exclusive videos: https://bigth.ink/Edge ---------------------------------------------------------------------------------- Pre-suasion is a

From playlist Best Videos | Big Think

Video thumbnail

Turning a Handle for a Carbide Tool on the Lathe

I made a handle for a new tool out of palm wood and red oak. It isn't perfect, but I learned a lot. What do you think?

From playlist Woodworking Projects

Video thumbnail

Simple Machines (4 of 7) Pulleys; Calculating the Amount of Work Done

For the pulley simple machine shows how to calculate the amount of work done when raising an object and why simple machines do not make your work easier! A simple machine is a mechanical device that changes the direction and the magnitude of a force. In general, they can be defined as th

From playlist Mechanics

Video thumbnail

Simple Machines (1 of 7) Pulleys; Defining Forces, Distances and MA

For the pulley simple machine this video defines the terms input and output force, input and output distance and mechanical advantage. A simple machine is a mechanical device that changes the direction and the magnitude of a force. In general, they can be defined as the simplest mechanis

From playlist Mechanics

Video thumbnail

F. Luo - An introduction to discrete conformal geometry of polyhedral surfaces (Part 1)

The goal of the course is to introduce some of the recent developments on discrete conformal geometry of polyhedral surfaces. We plan to cover the following topics. - The Andreev-Koebe-Thurston theorem on circle packing polyhedral metrics and Marden-Rodin’s proof - Thurston’s conjecture o

From playlist Ecole d'été 2016 - Analyse géométrique, géométrie des espaces métriques et topologie

Video thumbnail

F. Luo - An introduction to discrete conformal geometry of polyhedral surfaces (Part 3)

The goal of the course is to introduce some of the recent developments on discrete conformal geometry of polyhedral surfaces. We plan to cover the following topics. - The Andreev-Koebe-Thurston theorem on circle packing polyhedral metrics and Marden-Rodin’s proof - Thurston’s conjecture o

From playlist Ecole d'été 2016 - Analyse géométrique, géométrie des espaces métriques et topologie

Video thumbnail

F. Luo - An introduction to discrete conformal geometry of polyhedral surfaces (Part 5)

The goal of the course is to introduce some of the recent developments on discrete conformal geometry of polyhedral surfaces. We plan to cover the following topics. - The Andreev-Koebe-Thurston theorem on circle packing polyhedral metrics and Marden-Rodin’s proof - Thurston’s conjecture o

From playlist Ecole d'été 2016 - Analyse géométrique, géométrie des espaces métriques et topologie

Video thumbnail

F. Luo - An introduction to discrete conformal geometry of polyhedral surfaces (Part 2)

The goal of the course is to introduce some of the recent developments on discrete conformal geometry of polyhedral surfaces. We plan to cover the following topics. - The Andreev-Koebe-Thurston theorem on circle packing polyhedral metrics and Marden-Rodin’s proof - Thurston’s conjecture o

From playlist Ecole d'été 2016 - Analyse géométrique, géométrie des espaces métriques et topologie

Video thumbnail

Machine tool fixture 22

A way for clamping a workpiece at an angle or clamping workpiece of non parallel planes. Pink bar has revolution joint with the base. Its tilting angle is fixed by violet pin. STEP files of this video: http://www.mediafire.com/file/dpm1y2jiqm1qwhg/MachineToolFixture22STEP.zip/file Invento

From playlist Mechanisms

Video thumbnail

F. Luo - An introduction to discrete conformal geometry of polyhedral surfaces (Part 4)

The goal of the course is to introduce some of the recent developments on discrete conformal geometry of polyhedral surfaces. We plan to cover the following topics. - The Andreev-Koebe-Thurston theorem on circle packing polyhedral metrics and Marden-Rodin’s proof - Thurston’s conjecture o

From playlist Ecole d'été 2016 - Analyse géométrique, géométrie des espaces métriques et topologie

Related pages

B-Method