VOOZH about

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>P b�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|R R�*�)�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唦�y׷E�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�=��