The goal of the research is to apply rewriting techniques to verification problems. In particular one main goal is to apply techniques for proving termination of term rewriting systems to proving liveness properties. The emphasis will be on liveness properties in infinite state systems where standard model checking techniques are not applicable.
Meer weten?
Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.