%% Use the standard UP-methodology class
%% with French language.
%%
%% You may specify the option 'twoside' or 'oneside' for
%% the document.
%%
%% See the documentation tex-upmethodology on
%% http://www.arakhne.org/tex-upmethodology/
%% for details about the macros that are provided by the class and
%% to obtain the list of the packages that are already included. 

\documentclass[french]{spimufchdr}
\usepackage{dsfont}
\usepackage{glossaries}
\usepackage{graphicx}
\usepackage{listings}
\usepackage{verbatim}
 
% The TeX code is entering with UTF8
% character encoding (Linux and MacOS standards)
\usepackage[utf8]{inputenc}

%%--------------------
%% Search path for pictures
%\graphicspath{{path1/},{path2/}}

%%--------------------
%% Definition of the bibliography entries
\declarebiblio{J}{Journaux internationaux avec comités de lecture}{mabiblio}

%%--------------------
%% Title of the document
\declarehdr{Title}{XX Mois XXXX}
 
%%--------------------
%% Set the author of the HDR
\addauthor[first.name@utbm.fr]{First}{Name}
 
%%--------------------
%% Add a member of the jury
%% \addjury{Firstname}{Lastname}{Role in the jury}{Position}
\addjury{First}{Name}{Rapporteur}{Professeur à l'Université de XXX}
\addjury{First}{Name}{Examinateur}{Professeur à l'Université de XXX}
 
%%--------------------
%% Change the style of the text in the list of the members of the jury.
%% \Set{jurystyle}{ style of the text}
%\Set{jurystyle}{\small}

%%--------------------
%% Set the University where HDR was made
\hdrpreparedin{Université de Technologie de Belfort-Montbéliard}
 
%%--------------------
%% Set the English abstract
%\hdrabstract[english]{This is the abstract in English}
 
%%--------------------
%% Set the English keywords. They only appear if
%% there is an English abstract
%\hdrkeywords[english]{Keyword 1, Keyword 2}
 
%%--------------------
%% Set the French abstract
\hdrabstract[french]{Blabla blabla.}
 
%%--------------------
%% Set the French keywords. They only appear if
%% there is an French abstract
%\hdrkeywords[french]{Mot-cl\'e 1, Mot-cl\'e 2}

%%--------------------
%% Change the layout and the style of the text of the "primary" abstract.
%% If your document is written in French, the primary abstract is in French,
%% otherwise it is in English.
\Set{primaryabstractstyle}{\small}

%%--------------------
%% Change the layout and the style of the text of the "secondary" abstract.
%% If your document is written in French, the secondary abstract is in English,
%% otherwise it is in French.
%\Set{secondaryabstractstyle}{\tiny}

%%--------------------
%% Change the layout and the style of the text of the "primary" keywords.
%% If your document is written in French, the primary keywords are in French,
%% otherwise they are in English.
%\Set{primarykeywordstyle}{\tiny}

%%--------------------
%% Change the layout and the style of the text of the "secondary" keywords.
%% If your document is written in French, the secondary keywords are in English,
%% otherwise they are in French.
%\Set{secondarykeywordstyle}{\tiny}

%%--------------------
%% Change the speciality of the PhD thesis
%\Set{speciality}{Informatique}
 
%%--------------------
%% Change the institution
%\Set{universityname}{Universit\'e de Technologie de Belfort-Montb\'eliard}

%%--------------------
%% Add the logo of a partner or a sponsor
%\addpartner{partner_logo}
\newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}
\newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
\newcommand{\ie}{\textit{i.e.}}
\newcommand{\Nats}[0]{\ensuremath{\mathbb{N}}}
\newcommand{\Reels}[0]{\ensuremath{\mathbb{R}}}
\newcommand{\Zed}[0]{\ensuremath{\mathbb{Z}}}
\newcommand{\Bool}[0]{\ensuremath{\mathds{B}}}
\newcommand{\rel}[0]{\ensuremath{{\mathcal{R}}}}
\newcommand{\Gall}[0]{\ensuremath{\mathcal{G}}}
\newcommand{\Sec}[1]{Sect.\,\ref{#1}}
\newcommand{\Fig}[1]{Fig.\,\ref{#1}}
\newcommand{\Alg}[1]{Algorithm~\ref{#1}}
\newcommand{\Tab}[1]{Table~\ref{#1}}
\newcommand{\Equ}[1]{(\ref{#1})}
\newcommand{\deriv}{\mathrm{d}}
\newcommand{\class}[1]{\ensuremath{\langle #1\rangle}}
\newcommand{\dom}[0]{\ensuremath{\textit{dom}}}
 

\newtheorem{theorem}{Théorème}
\newtheorem{lemma}{Lemme}
\newtheorem{xpl}{Exemple}
\newtheorem{Proof}{Preuve}

\begin{document}
\input{glossaire.tex}

% \chapter*{Remerciements}

% Blabla blabla.

% \tableofcontents

 



\chapter*{Introduction}

Blabla blabla.

\mainmatter

\part{Système Booléens}

\chapter{Iterations discrètes de Systèmes Dynamiques booléens}

\JFC{Chapeau chapitre à faire}
\input{sdd}


\chapter[Preuve de convergence de systèmes booléens]{Preuve automatique de  convergence de systèmes booléens}
\input{modelchecking}




\JFC{Mixage}






% \part{Conclusion et Perspectives}

% \chapter{Conclusion}

% Blabla blabla.


\appendix

\chapter{Preuves sur les SDD}

\section{Preuve du théorème~\ref{th:Adrien}}\label{anx:sccg}
\input{annexesccg}

\section{Preuve de continuité de $G_f$ dans $(\mathcal{X},d)$}\label{anx:cont}
\input{annexecontinuite.tex}

\section{Preuve de Correction et de complétude de l'approche de vérification de convergence à l'aide de SPIN}
\input{annexePromelaProof}

\backmatter

\bibliographystyle{apalike}
\bibliography{abbrev,biblioand}
\listoffigures
\listoftables
\listofdefinitions
 
\end{document}





