Hierarchická relaxace vlastnosti zachování správnosti pro restartovací automaty

Abstrakt

Abychom rozlišili mezi nederministickými restartovacími automaty, které zachovávají korektnost, a mezi nedeterministickými restartovacími automaty obecně, zavádíme dvě postupná uvolnění vlastnosti zachování korektnosti.

Klíčová slova

• Hierarchical
• Relaxations
• Correctness
• Preserving
• Property
• Restarting
• Automata