Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Why3 — Where Programs Meet Provers

2013495 citationsBook Chapter

Authors

Jean-Christophe Filliâtre · Institut national de recherche en informatique et en automatique

Andrei Paskevich · Centre National de la Recherche Scientifique

Topics & Keywords

Logic, programming, and type systems Advanced Malware Detection Techniques Formal Methods in Verification

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-37036-6_8

Field-Weighted Citation Impact: 32.93

Why3 — Where Programs Meet Provers | Researchclopedia