References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- David, Cristina; Kroening, Daniel; Lewis, Matt: Propositional reasoning about safety and termination of heap-manipulating programs (2015)
- Magill, Stephen; Tsai, Ming-Hsien; Lee, Peter; Tsay, Yih-Kuen: THOR: A tool for reasoning about shape and arithmetic. Tool paper (2008) ioport