4-Sigles_Abrev.tex

% Liste des sigles et abbréviations
\newcommand\abbrevname{LISTE DES SIGLES ET ABRÉVIATIONS}
\chapter*{\abbrevname}
\addcontentsline{toc}{compteur}{\abbrevname}
\pagestyle{pagenumber}
%
\begin{acronym}
  \acro{LTL}{Linear Temporal Logic}
  \acro{CTL}{Computation Tree Logic}
  \acro{BMC}{Bounded Model Checking}
  \acro{CEGAR}{Counter-Example Guided Abstraction Refinement}
  \acro{BDD}{Binary Decision Diagram}
  \acro{SSA}{Single Static Assignment}
  \acro{JSON}{JavaScript Object Notation}
\end{acronym}
%
\begin{longtable}{lp{5in}}
BDD   & Binary Decision Diagram\\
BMC   & Bounded Model Checking\\
CEGAR & Counter-Example Guided Abstraction Refinement\\
CTL   & Computation Tree Logic\\
JSON  & JavaScript Object Notation\\
LTL   & Linear Temporal Logic\\
POSIX & Portable Operating System Interface\\
SAT   & Propositional Satisfiability Problem\\
SMT   & SAT Modulo Theory\\
SSA   & Single Static Assignment\\
\end{longtable}