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