URL: https://frama-c.com/download/acsl_1.13.pdf
%PDF-1.5
%����
2 0 obj
<<
/Type /ObjStm
/N 100
/First 808
/Length 1276
/Filter /FlateDecode
>>
stream
xڕV�o�6~�_q�
�4")Q�P��֮���텖h[�~��ڸ���%�Y�b�"y��w��HAE��F�R��P$B���$��*Đd,R�2" �P�Ԥ4�R
��!v+����S�P��)�r�(Nؽ��P�浔��ݤSD�(��
)V)v#LMQBq�F�H�Вx� �ZS*�R�3����^�O�HOV� ��"J@P�r�%!��B�i��� gEx*��Oa2^�)�B���D�3F*Z��Qs�Q
�?�i�k�y_p�c��G2��r�aH�B���"Q>Pb�XI�u(!R �HC�C
�&@e
��� �=P6@VYs��,K
����B'̍�dPGʐ9D�% ��bd��R��J�0HZɐc[�% GL��#���f@|H�x�:� �O���R����C;�D�$ '��2� ����`��A@p`�P��+9�o����|h���W�ƴ�uo��{�x�Gݻ&��h�6w�/����nm���YjV�o���&*[���������3e��#�l��n��=`��ay�1E�gQ��7؎����ؔ��Zg�5��0js�co�m]�َ!gM�c�/v��qyw*i������Gkg�
$�^�vd��ڬX�N������������h�`U�J�?:�ج�����D�i!�>�(��q'2���g���25�w6f�q�Ή$"�\صud\�o*G���*�m�ڢb���h��E>�Z�������X��,����G\�lwP��x�\�p������}]1��g�d=O�>f����3�5�"8?s!�I�_���o��p:���)s��P���S9U[ZZ]�H��d@ߠ8զ�9-��|-7�2��'[5n�f�e6��}��H�<�X1wve��@�5U�.��)r{�pR���������N�]g�y�^дyR/U�/������Y~�$Em^���EG7���5�Y��W��vjjـ+��qq�����ۣ��'�h8�������_$s~���{gs���~7Ş�UQ�!M5eq���V�>�9�|�S����T4��fI�c-�7�����ܷP�����u�_���/���@}�P���,�d�3g{{�t�a�t�A��:_ <뤫��[�W�*���5xf�:;*~�$�����'���]�;2�m��G&��O?�Lgb$�������
��]�Wg����@�q�4�x:w[\l��)�+�G������?ʕM�
endstream
endobj
203 0 obj
<<
/Type /ObjStm
/N 100
/First 859
/Length 1216
/Filter /FlateDecode
>>
stream
xڍV�n�H��+��,�3=�"�M� A|��왢F��)�T��o�D)����MUwW��3M��k\<�@Ze�;\�?*C�=����*���
�X�Y��8�iͤ�<r\=��=g��Y;y6d2y�d8���@V��&kx�
�uXgـ�ƓFی��U�r��Z�j��mN��5�ϱ�iʕ�iǔ[��Q0�����(�����Eo(���7��c�l�"�&`�\�R�s�
4S���=nnPBi�3@G-��T��̲2�303b��8�g`f,fx�4�2&��`6���!�X,�.��.�7`v,o��0:�&傝1|RR�*�)�a�*�^�\��,�CQ��*��Ү
����
�Q!�gQ?���t&������an�"��:|�
&1�!T��i�㭆�3�Z�;�0�C�����f���β�4A���X�� r��pA�3h�G"oQ�ᠶ�C�"E ��bɕGu ��P}kiM&A�f��
�������^��],���W�*Io��^�ž��^P���{y ���\��C�S��π�� O�9�a����nz�c�Nu!���Tv@���X/b]��Q��M���3�/��oE��zr.��Z��5֧��A��f+��W� �z�n�b��G
WMןqt}��u|F����צ�@U��4Z��O�2U�o/���/S`��4�x�P���6M���8�@�ƪz��6��4�\�r5��%�[�7�9��fIU�J�6�L�T��4G��XTTo��?�;�y��w����b3:�P�s�$5d��߇�j�X������n�ͫ�|�j唦�yE�S�!͠,�P�E�w�LC�w}�FF�ƿ94Z��q$C��5uYm�?��FΎ���z��\����8�Ǫ�:�9�T{Xo��{�W���˨*�?���|u�����ط��UlS_�e|5/:쌦����xd.�x�
T 9�|�{{�n���]��xl�EZ.c�#x\�w��H���O�_k�v�,&�����4L_�ڣ��z��Cf�~��t���ݚӞ(�aW��t�R�*zJ���1.��νO��ݵ�*�(�F��!m+$e�[w�ఒ1���S}�ѓ���I���d�{� �w�'!��'!�9�MB�9�Nۙ�c�4�"�P�O���y����جv#���t�)����$�����
endstream
endobj
412 0 obj
<<
/Length 192
/Filter /FlateDecode
>>
stream
x�eP��@��W��v�e���C4���@�w�GF��4��^_�"��0f��x���C�gg���Я���3���� G67��<��}���#� $O%�-ģ(�P�\% �
,�ԕ�de�s=+'�����3[e6���ޭE]�vǃmա�Wm���\��=2Vt�*t���C&N�I���P��'A
endstream
endobj
410 0 obj
<<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (./frama-c-cover.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 417 0 R
/BBox [0 0 1224 1584]
/Resources <<
/ProcSet [ /PDF /ImageB /ImageC /ImageI ]
/XObject <<
/Im1 418 0 R
>>>>
/Length 55
/Filter /FlateDecode
>>
stream
x+TT(T�H-JN-()M�Q(�
�(���������k������Z
endstream
endobj
418 0 obj
<<
/Length 419 0 R
/Type /XObject
/Subtype /Image
/Width 1224
/Height 1584
/ColorSpace 420 0 R
/Interpolate true
/BitsPerComponent 8
/Filter /DCTDecode
>>
stream
����JFIF�����ExifMM*JR(�iZ���Ƞ0��C
& $!-"$')+++ /2.)2&*+)��C
)))))))))))))))))))))))))))))))))))))))))))))))))))��0�"��
���}!1AQa"q2���#B��R��$3br�
%&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz���������������������������������������������������������������������������
���w!1AQaq"2�B���� #3R�br�
$4�%�&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz��������������������������������������������������������������������������?�F�(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��(��B@��:�^q⟎~
�̯n/d�n����H��!?"H��H��y���HE�����I�`��Fq����3У�O�������f��F?���5G�5L��(����ƨ�+�_�j���Q��'��Q�
S7�
1������*������C ~uN���?��]���7�/�2��߾�v��[��pJa��J�j(�Ȣ�
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
(��
��j�N�=��