Logiciel
Résumé
HORUS est un outil de vérification semi-formelle de systèmes embarqués matériels et logiciels en cours de conception et/ou de fonctionnement, basé sur des propriétés logiques et temporelles exprimées dans des langages standards (PSL, SVA) : d'une part au niveau transfert de registres, comportemental ou structurel, d'autre part au niveau transactionnel (TLM) SystemC.