Zobrazeno 1 - 8
of 8
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
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selec
Autor:
Patrick Cousot
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, m
Autor:
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following work
Autor:
John Hooker
This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully rev