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

The ASTREÉ Analyzer

2005388 citationsBook Chapter

Authors

Patrick Cousot · Laboratoire de Géologie de l’École Normale Supérieure

Radhia Cousot · École Polytechnique

Jérôme Ferêt · Laboratoire de Géologie de l’École Normale Supérieure

Laurent Mauborgne · Laboratoire de Géologie de l’École Normale Supérieure

Antoine Miné · Laboratoire de Géologie de l’École Normale Supérieure

David Monniaux · Canadian Nautical Research Society

Topics & Keywords

Formal Methods in Verification Real-Time Systems Scheduling Software Testing and Debugging Techniques

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-540-31987-0_3

Field-Weighted Citation Impact: 16.72

The ASTREÉ Analyzer | Researchclopedia

· Laboratoire de Géologie de l’École Normale Supérieure