Difference between revisions of "Main Page"

From vecolib
Jump to: navigation, search
 
(Undo revision 9175 by MaryellToussaint (talk))
 
(32 intermediate revisions by 3 users not shown)
Line 1: Line 1:
<strong>MediaWiki has been successfully installed.</strong>
+
== VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries) ==
  
Consult the [//meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
 
  
== Getting started ==
+
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.
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]
+
 
* [//www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]
+
 
* [https://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
+
[[File:Containers.001.jpg|right]]
* [//www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]
+
 
 +
* [[News]]
 +
* [[Jobs]]
 +
* [[Meetings]]
 +
* [[Funding]]
 +
* [[Partners]]
 +
* [[Deliverables]]
 +
* [[Publications]]
 +
* [[Software]]
 +
* [[Related Projects]]

Latest revision as of 10:31, 30 December 2014

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.


Containers.001.jpg