Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ziat, Ghiles"'
Autor:
Ziat, Ghiles, Botbol, Vincent, Dien, Matthieu, Gotlieb, Arnaud, Pépin, Martin, Dubois, Catherine
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However, on recursive constrained data-structures (e.g., sorted lists, binary
Externí odkaz:
http://arxiv.org/abs/2208.12747
Autor:
dit Sandretto, Julien Alexandre, Chapoutot, Alexandre, Garion, Christophe, Thirioux, Xavier, Ziat, Ghiles, Schön, Steffen, Rauh, Andreas
[no abstract available]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cbd1bbe7035954a10e53f281346af55
https://www.repo.uni-hannover.de/handle/123456789/13315
https://www.repo.uni-hannover.de/handle/123456789/13315
Autor:
Alexandre Dit Sandretto, Julien, Chapoutot, Alexandre, Garion, Christophe, Thirioux, Xavier, Ziat, Ghiles
Collision-free motion planning of formation of robots is an essential property to assess for safety purpose. We propose in this paper a new formal verification method based on abstract interpretation and constraint satisfaction problems to reach this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3d08fd271cccaa89282e8453937babf
https://oatao.univ-toulouse.fr/28886/
https://oatao.univ-toulouse.fr/28886/
Publikováno v:
Treizièmes journées Francophones de Programmation par Contraintes
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
International audience; Abstract Classical CSP solving methods often alternate two steps : propagation and exploration. Propagation reduces the domains of the variables according to the constraints. It can be seen as a discrimination of the search sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::50d92f63dc6077ee6762e879ac8811e6
https://hal.archives-ouvertes.fr/hal-01735167
https://hal.archives-ouvertes.fr/hal-01735167