Delahaye, David, 1971-....
VIAF ID: 218315691 ( Personal )
Permalink: http://viaf.org/viaf/218315691
Preferred Forms
Works
Title | Sources |
---|---|
Une approche formelle pour automatiser la gestion de l'évolutiondans les processus de développement à base de composants. | |
ARIANE : Automated Re-Documentation to Improve software Architecture uNderstanding and Evolution | |
ARIANE : Re-documentation automatique pour améliorer la compréhension et l'évolution d'architectures logicielles. | |
Caractérisation de bornes de chaînage avant en règles existentielles (Datalog+). | |
Chase Variants & Boundedness | |
Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq | |
Conception of langages to describe proofs and automations in proof assistants : a study in the Coq system framework. | |
Coupling of formal methods for industriel systems specification. | |
Extraction of Certified Functional Code from Inductive Specifications. | |
A formal approach to automate the evolution management in component-based software development processes | |
Formal verification of a methodology for the design and production of safety-critical digital systems. | |
Integrating Automated Theorem Provers in Proof Assistants | |
Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT. | |
Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques | |
Proof Automation for Atelier B Rules Verification. | |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages. | |
Utiliser des démonstrateurs automatiques dans un assistant à la preuve. | |
Vérification automatisée de certificats de terminaison. | |
Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques |