Explore projects

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

A basic C++ parser to read data from a file with format key value