VERIDIS - 2013 - Annual activity report

VERIDIS

VERIDIS - 2013

Project-Team Veridis

Members

Overall Objectives

Introduction
Highlights of the Year

Research Program

Automated and interactive theorem proving
Methodology of proved system development

Application Domains

Application Domains

Software and Platforms

The veriT solver
The TLA⁺ proof system

New Results

Automated and Interactive Theorem Proving
Proved development of algorithms and systems

Bilateral Contracts and Grants with Industry

Project funded by EADS Foundation

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2013 Project-Team Activity Report

VERIDIS

Modeling and Verification of Distributed Algorithms and Systems

Research centre: Nancy - Grand Est

In partnership with: CNRS, Université de Lorraine

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification

Keywords: Formal Methods, Distributed System, Automated Theorem Proving, Interactive Theorem Proving, Model-checking