MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Thomas Wies" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Field constraint analysis  
  • by Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin Rinard — 2006 — In Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation
  • ……
  • Cited by 18 (9 self) – Add To MetaCart
  • On verifying complex properties using symbolic shape analysis  
  • by Thomas Wies, Viktor Kuncak, Karen Zee, Martin Rinard, Andreas Podelski — 2006 — In Workshop on Heap Abstraction and Verification (collocated with ETAPS
  • …One of the main challenges in the verification of software systems is the analysis of statically unbounded data structures with dynamic memory allocation, such as linked data structures and arrays. We describe Bohne, a new analysis for verifying data structures. Bohne verifies data structure operati…
  • Cited by 6 (3 self) – Add To MetaCart
  • Using first-order theorem provers in the Jahob data structure verification system  
  • by Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin Rinard — 2007 — In Byron Cook and Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, LNCS 4349
  • …Abstract. This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically verify the correctness of a range of complex dynamically instantiable data st…
  • Cited by 7 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB