Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Formal Testing and System Exploration
Exploiting SMT counterexamples for constraint solving in Isabelle
Matthias Krieger

06 September 2011, 14:00 - 06 September 2011, 16:00
Salle/Bat : 435/PCRI-N
Contact :

Activités de recherche :

Résumé :
We discuss different approaches to solving constraints within the Isabelle framework. Our motivation are constraint problems arising in the HOL-TestGen tool for test generation. We explore possibilities of exploiting counterexamples returned by SMT solvers for constructing solutions to constraints in Isabelle. A particular challenge are constraints that involve recursive functions. We show how the rich support for interaction provided by Isabelle can be used to enlarge the class of constraints that can be handled.

Pour en savoir plus :
Séminaires
Programming computing media (reporté)
Combinatorics
Friday 18 September 2020 - 14:30
Salle : 445 - PCRI-N
Frédéric Gruau .............................................

forum-dev Continuous Integration
Friday 05 June 2020 - 10:00
Salle : 0 - 650
Erik Bray .............................................

Large-scale Spectral Clustering for GPU-based Plat
High-performance computing
Tuesday 24 March 2020 - 10:30
Salle : 465 - PCRI-N
Guanlin He .............................................

Recherche Opérationnelle à Google
Stochastic Combinatorial Optimization
Thursday 12 March 2020 - 14:30
Salle : 445 - PCRI-N
Laurent Perron .............................................

Forum dev-LRI
Wednesday 05 February 2020 - 14:00
Salle : 455 - PCRI-N
Erik Bray .............................................