Asma Louhichi , Olfa Mraihi , Wided Ghardallou , Lamia Labed Jilani , Khaled Bsaies , Ali Mili
September 2011
Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) (VECOS)
Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
15-16 September 2011
Invariant assertions, invariant functions, invariant relations, loop invariants, program analysis, program verification, while loops, loop functions
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/