Author:
Saissi Habib,Bokor Péter,Suri Neeraj
Publisher
Springer International Publishing
Reference30 articles.
1. ESBMC.
http://www.esbmc.org/
. Accessed 4 October 2015
2. LLBMC.
http://llbmc.org/
. Accessed 4 October 2015
3. Z3.
http://z3.codeplex.com/
. Accessed 4 October2015
4. Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: POPL, pp. 373–384. ACM Press (2014)
5. Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: PLDI, pp. 246–256. ACM Press (1990)