Formal methods tools | Static program analysis tools

Frama-C

Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA-List) and Inria. It has also received funding from the Core Infrastructure Initiative. Frama-C, as a static analyzer, inspects programs without executing them. Despite its name, the software is not related to the French project Framasoft. (Wikipedia).

Frama-C
Video thumbnail

mandelbrot fractal animation 5

another mandelbrot/julia fractal animation/morph.

From playlist Fractal

Video thumbnail

What Is Fracking?

You’ve heard of fracking, and you’re pretty sure lots of people don’t like it, but do you know how it actually works? Learn more at HowStuffWorks.com: http://science.howstuffworks.com/environmental/energy/hydraulic-fracking.htm Share on Facebook: http://goo.gl/M5kx1i Share on Twitter: ht

From playlist Visually-Striking Episodes From the 2010s

Video thumbnail

mandelbrot fractal animation 3

red and green.

From playlist Fractal

Video thumbnail

mandelbrot fractal animation 2

just me having my usual fun.

From playlist Fractal

Video thumbnail

Art Trip: Marfa | The Art Assignment | PBS Digital Studios

The epicenter of the art world is in Marfa, Texas? We visit this small town where Minimalist artist Donald Judd settled in the 70s, and sowed the seeds for its glorious present, worthy of a pilgrimage. To support our channel, visit: http://www.patreon.com/artassignment. Thanks to our Gra

From playlist Art Trip

Video thumbnail

Research: What is a fractal?

Broadcasted live on Twitch -- Watch live at https://www.twitch.tv/leioslabs

From playlist research

Video thumbnail

mandelbrot fractal animation 4

blue, yellow and green.

From playlist Fractal

Video thumbnail

FracTracker-20190811

#VIRBAdventures

From playlist In-Flight Videos

Video thumbnail

Vitamin C: Oral vs. Intravenous, Immune Effects, Cancer, Exercise Adaptation & More

In this video Dr. Rhonda Patrick discuss all things vitamin C. This episode covers oral bioavailability, intravenous vitamin C bioavailability, immune cell function, common cold and other viral infections, lung function, sepsis, pneumonia, inflammation, intravenous vitamin C and cancer, r

From playlist Just Me

Video thumbnail

C++ vs C# :What Should I Learn? | Difference Between C++ And C# | C++ & C# Comparision | Simplilearn

This video on C++ vs C# will acquaint you with a clear understanding of the difference between C++ And C#. In this C++ vs C# Tutorial, you will start with an introduction to C# and an introduction to C++. Finally, we will cover the differences on various features of programming in C++ & C#

From playlist C++ Tutorial Videos

Video thumbnail

Lecture 15: The Continuity of Sine and Cosine and the Many Discontinuities of Dirichlet's Function

MIT 18.100A Real Analysis, Fall 2020 Instructor: Dr. Casey Rodriguez View the complete course: http://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61O7HkcF7UImpM0cR_L2gSw We wrap up our discussion of cluster points

From playlist MIT 18.100A Real Analysis, Fall 2020

Video thumbnail

Mod-01 Lec-29 Shrinking core Ash Diffusion Model & Combination of Resistances

Advanced Chemical Reaction Engineering (PG) by Prof. H.S.Shankar,Department of Chemical Engineering,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Bombay: Advanced Chemical Reaction Engineering | CosmoLearning.org

Video thumbnail

Lecture 19: Differentiation Rules, Rolle's Theorem, and the Mean Value Theorem

MIT 18.100A Real Analysis, Fall 2020 Instructor: Dr. Casey Rodriguez View the complete course: http://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61O7HkcF7UImpM0cR_L2gSw We begin proving key properties of derivati

From playlist MIT 18.100A Real Analysis, Fall 2020

Video thumbnail

What Is C#? | What Is C# Programming Language? | C# Tutorial For Beginners | Simplilearn

🔥Post Graduate Program In Full Stack Web Development: https://www.simplilearn.com/pgp-full-stack-web-development-certification-training-course?utm_campaign=WhatisCSharp-BcMQavJd-tY&utm_medium=DescriptionFF&utm_source=youtube 🔥Caltech Coding Bootcamp (US Only): https://www.simplilearn.com/c

From playlist C++ Tutorial Videos

Video thumbnail

Mod-03 Lec-17 Different Aspects of Bertrand Model

Game Theory and Economics by Dr. Debarshi Das, Department of Humanities and Social Sciences, IIT Guwahati. For more details on NPTEL visit http://nptel.iitm.ac.in

From playlist IIT Guwahati: Game Theory and Economics | CosmoLearning.org Economics

Video thumbnail

Physics - Test Your Knowledge: Vectors (16 of 30) Find Direction Cosine (Dot Product)

Visit http://ilectureonline.com for more math and science lectures! In this video I will find the direction cosines of a vector perpendicular to vector A and B using the dot product. Given C is perpendicular to A and C is perpendicular to B and A=2i+3j-k and B=i+2j+k. To donate: http://w

From playlist PHYSICS 1A TEST YOUR KNOWLEDGE : VECTORS

Video thumbnail

Proof: Differentiability implies continuity | Derivative rules | AP Calculus AB | Khan Academy

Sal shows that if a function is differentiable at a point, it is also continuous at that point. Watch the next lesson: https://www.khanacademy.org/math/ap-calculus-ab/ab-derivative-rules/ab-derivtive-rules-opt-vids/v/change-in-continuous-function-approaches-0?utm_source=YT&utm_medium=Desc

From playlist Derivatives introduction | AP Calculus AB | Khan Academy

Video thumbnail

Dimensions (1 of 3: The Traditional Definition - Directions)

More resources available at www.misterwootube.com

From playlist Exploring Mathematics: Fractals

Related pages

Dominator (graph theory) | SPARK (programming language) | Formal verification | Abstract syntax tree | Alt-Ergo | Abstract interpretation | Program slicing | Separation logic | Clang | Coq