This is an old revision of the document!
Runtime environment and engine for the XTT2 method and the HMR representation, originally developed within the HeKatE project.
Main feaures:
HeaRT is part of HaDEs.
See HeaRT.
Concept, design, implementation, supervision: Grzegorz J. Nalepa Extended implementation: Szymon Bobek and Michał Gawędzki
See the HeaRT website.
Support: Szymon Bobek
ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software
Go back to → software