Applying abstract acceleration to (co−)reachability analysis of reactive programs
Peter Schrammel and Bertrand Jeannet
Journal
J. Symb. Comput.
Number
12
Pages
1512−1532
Volume
47
Year
2012
Peter Schrammel and Bertrand Jeannet