This is an old revision of the document!

HeaRT

Description

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

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

See the HeaRT website.

ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software

Go back to → software