Work

Proofs on Inductive Predicates in Why3

Year: 2024

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Filliâtre, Jean-Christophe, Paskevich, Andrei, Saudubray, Henri

Institutions: Université Paris-Saclay, Laboratoire Méthodes Formelles, TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4403382894

FWCI:

Cites:

Cited by:

Related to: 10