Project-Team:VERIDIS

Project-Team Veridis

Members

Overall Objectives

Research Program

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

Application Domains

Application Domains

New Software and Platforms

The veriT Solver
The TLA⁺ Proof System
SPASS: An Automated Theorem Prover for First-Order Logic With Equality
The Redlog Computer Logic System

New Results

Highlights of the Year
Automated and Interactive Theorem Proving
Formal Methods for Developing Algorithms and Systems

Bilateral Contracts and Grants with Industry

Project Funded by the Airbus Foundation
ADN4SE Project

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

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


	PDF	e-Pub

Previous |

Home | Next next

Section: New Results

Highlights of the Year

The veriT solver (section 5.1 ) participated in the SMT competition 2014 , part of the Vienna Summer Of Logic Olympic Games, and received the gold medal for the SMT category.

Previous |

Home | Next next