Static program analysis tools

VeriFlux

VeriFlux is a formal methods based static analysis tool for programs written in Java. It is optimized for use with JamaicaVM, but can be used for any Java program. It can detect uncaught runtime exceptions, including RTSJ exceptions, and possible deadlocks in code using Java synchronization features. It has also been used for resource analysis. It can be used for both full program analysis and partial program analysis. (Wikipedia).

Video thumbnail

How to use HTC Vive with Google Earth

Some basic controls when you use HTC Vive to fly in Google Earth.

From playlist Unboxing / Product Reviews

Video thumbnail

How a Wobbler engine works

http://www.mekanizmalar.com A wobbler is usually the first type engine made by small engine builders. The wobbler does not need tiny moving valves which makes manufacturing simple.

From playlist Engines

Video thumbnail

Vertebra by Kirk Haines

Help us caption & translate this video! http://amara.org/v/FGii/

From playlist MWRC 2009

Video thumbnail

3D printing - with a twist

A rotating nozzle that can print with multiple different materials at the same time has been used to print helix shapes with intriguing properties. The researchers who developed the system have experimented with printing a kind of artificial muscle and with changing the properties a length

From playlist Technology

Video thumbnail

FracTracker-20190811

#VIRBAdventures

From playlist In-Flight Videos

Video thumbnail

Vim is Almost Perfect: 5 Things That Drive Me Bonkers About Vim

I love vim, but there are a few things that just drive me crazy. 👇 PULL IT DOWN FOR THE GOOD STUFF 👇 Patreon - https://patreon.com/thelinuxcast Liberapay - https://liberapay.com/thelinuxcast/ Youtube - https://www.youtube.com/channel/UCylGUf9BvQooEFjgdNudoQg/join ===== Follow us 🐧🐧 ====

From playlist vim

Video thumbnail

3D Printing

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 3D Printing

Related pages

Formal methods | Data-flow analysis