A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows Inproceedings Forthcoming
Polikarpova, Nadia; Schneider, Steve (Ed.): Proceedings of the 13th International Conference on Integrated Formal Methods, Springer International Publishing, Forthcoming, (to appear).
Technische Universität Darmstadt 2017.
A General Lattice Model for Merging Symbolic Execution Branches Inproceedings
Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying (Ed.): Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 57–73, Springer International Publishing, 2016.