External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu. Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 167-182, Springer, 2012. [doi]

Authors

Ahmed Bouajjani

This author has not been identified. Look up 'Ahmed Bouajjani' in Google

Cezara Dragoi

This author has not been identified. Look up 'Cezara Dragoi' in Google

Constantin Enea

This author has not been identified. Look up 'Constantin Enea' in Google

Mihaela Sighireanu

This author has not been identified. Look up 'Mihaela Sighireanu' in Google
runs on