Verification of Automata with Storage Mechanisms

Open Webpage

Chris Köcher

Published: 01 Jan 2022, Last Modified: 15 May 2024undefined 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to…