Sound and Precise Symbolic Automata Model for Stateful Software Systems.

Xinlong Wu, Ruiyu Zhou, Peisen Yao, Qingkai Shi

Browse the full CAV paper archive.