Higher-Order Logics

The approach presented in this chapter significantly differs from all formalisms presented before. Up to now, all approaches were fully automized based on simple formalisms like FSMs, close to the usual modeling methods of hardware designers