pub:software:heart
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:software:heart [2009/08/16 15:58] – opis + tagi wtf | pub:software:heart [2018/10/14 20:51] (current) – gjn | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
- | Runtime environment and engine for the HeKatE project. | + | |
- | See [[https:// | + | |
- | Concept, design, implementation, | + | |
===== Description ===== | ===== Description ===== | ||
- | ===== Releases ===== | + | Runtime environment and engine for the [[http:// |
+ | |||
+ | Main feaures: | ||
+ | * ALSV(FD) inference | ||
+ | * XTT2 specs compliance | ||
+ | * [[https:// | ||
+ | |||
+ | HeaRT is part of [[https:// | ||
+ | |||
+ | See [[https:// | ||
+ | |||
+ | Concept, design, implementation, | ||
+ | Extended implementation: | ||
===== Comments ===== | ===== Comments ===== | ||
+ | |||
+ | Support: [[pub: | ||
{{tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software}} | {{tag>ai intelligent_systems engine rules hekate rule-based_systems formal_analysis software}} | ||
+ | |||
+ | ---- | ||
+ | |||
+ | Go back to -> [[start|software]] |
pub/software/heart.1250438338.txt.gz · Last modified: 2009/08/16 15:58 by wtf