Project-Team:VERIDIS

Project-Team Veridis

Personnel

Overall Objectives

Research Program

Automated and Interactive Theorem Proving
Formal Methods for Developing and Analyzing Algorithms and Systems

Application Domains

Application Domains

Highlights of the Year

New Software and Platforms

Redlog
SPASS
TLAPS
veriT
Nunchaku

New Results

Automated and Interactive Theorem Proving
Formal Methods for Developing and Analyzing Algorithms and Systems

Bilateral Contracts and Grants with Industry

Modeling a Distributed File System
Modeling a Distributed Development Process

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Science outreach

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2017 | Presentation of the Project-Team VERIDIS | VERIDIS Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Bilateral Contracts and Grants with Industry

Modeling a Distributed Development Process

Participant : Christoph Weidenbach.

On the basis of a bilateral contract with L4B (Logic 4 Business), we studied models for a distributed development process of a leading German car manufacturer.

Previous |

Home | Next next