Symbolic Register Automata

Published in Computer Aided Verification, 2019

Recommended citation: D’Antoni L., Ferreira T., Sammartino M., Silva A. (2019) Symbolic Register Automata. In: Dillig I., Tasiran S. (eds) Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, vol 11561. Springer, Cham. https://doi.org/10.1007/978-3-030-25540-4_1 /files/pdf/research/2019-sra.pdf

Direct Link