vecolib vecolib http://vecolib.imag.fr/index.php/Main_Page MediaWiki 1.24.0 first-letter Media Special Talk User User talk Vecolib Vecolib talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Main Page 0 1 10102 9175 2014-12-30T09:31:51Z Iosif 1 Undo revision 9175 by [[Special:Contributions/MaryellToussaint|MaryellToussaint]] ([[User talk:MaryellToussaint|talk]]) == VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries) == The growing need for automated services in our fast-going society demands for increasingly complex software artifacts. To tackle this complexity, most programming languages offer Application Programming Interfaces (API) allowing software developers to use abstract data structures (sets, maps, stacks, queues, etc.), known as containers. This project aims at defining scalable program analyses based on modular views of programs, at two levels of abstraction: (1) a high level view, in which data containers are black boxes, handled via abstract specification contracts, and (2) a low level view of the implementation of containers as recursive data structures. We plan to develop (a) decision procedures for logics able to describe complex data structures, (b) verification tools based on model checking and static analysis, and (c) techniques for automatic generation of refinement relations between specifications and implementations. We plan to carry out experiments on industrial test cases. [[File:Containers.001.jpg|right]] * [[News]] * [[Jobs]] * [[Meetings]] * [[Funding]] * [[Partners]] * [[Deliverables]] * [[Publications]] * [[Software]] * [[Related Projects]] drfjlgr8uc9scnc7gg3o60rqjtl1hao wikitext text/x-wiki