HAL Id: hal-01737737
https://hal.archives-ouvertes.fr/hal-01737737
Submitted on 19 Mar 2018
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
A Non-linear Arithmetic Procedure for Control-Command Software Verification
Pierre Roux, Mohamed Iguernelala, Sylvain Conchon
To cite this version:
Pierre Roux, Mohamed Iguernelala, Sylvain Conchon. A Non-linear Arithmetic Procedure for Control-
Command Software Verification. 24th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS), Apr 2018, Thessalonique, Greece. pp.132-151. �hal-
01737737�
Consistent * Complete * W ell Docu enm
ted *
y t Eas eu o R
se *