Systerel participe du 15 au 20 novembre prochains au séminaire Dagstuhl 15471 consacré à la fertilisation croisée entre calcul symbolique et vérification de satisfiabilité.
Notre expérience dans l’utilisation des solveurs SMT dans le cadre de la preuve automatique depuis la plate-forme Rodin, ainsi que notre expertise en model-checking SAT, contribueront aux différents échanges de ce séminaire.