Frama-C is a suite of tools dedicated to the analysis of the source code of software. Frama-C gathers several source code analysis techniques in a single collaborative framework. It allows advanced analyzers to build upon the results already computed by other analyzers. Frama-C also provides software transformation tools.
A New, Cost Effective Solution for Waste Heat to Power
The enabling technology is a thermodynamic heat engine called the Trochoidal Gear Engine (TGEâ„¢). Designed as a simple gerotor expander, the TGEâ„¢ is nearly frictionless, and has been proven to be more efficient and cost effective than existing technologies when used in an organic Rankine system.
Ready to Market
Modula S is an ultra-efficient building system making the construction of tall urban â€œNetZeroâ€ buildings, practical, fast and affordable. Our R-60 ultra-efficient thermal envelope technology reduces the need for heating or cooling. The Modula S structural system reinforces concrete without the use of rebar making urban housing affordable.
© Copyright 2015 TechConnect