GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:software:heart

This is an old revision of the document!


Table of Contents

HeaRT

Description

Runtime environment and engine for the XTT2 method and the HMR representation, originally developed within the HeKatE project.

See HeaRT.

Concept, design, implementation, supervision: Grzegorz J. Nalepa Extended implementation: Szymon Bobek and Michał Gawędzki

Releases

See the HeaRT website.

Comments

Support: Szymon Bobek

ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software


Go back to → software

pub/software/heart.1301762439.txt.gz · Last modified: 2011/04/02 16:40 by gjn