Métodos Formales

‡
  }p
    

}     p 



  

      
  

  



 p 
 
        
  
    !  " 

 # !  $
 
%  & 
  '
!  $  
  !

p
 

          (  
     
)      

*   
    + p     ,

 -   ,

  
 . 
 + p  +

    / 

 
 0      , #     $    
    
 1 '  ,        "  ) ,
) 2  $    
   -
 
  

    $  2     
 
  
  
  
     2

           3  
     p       2

    
     

   4   -
 # 
  
    g
 


    5      6  "        7 

} 6 89:; }     
 <  
1      =#   
 4   


 


M    ( !    1 
 
 ,
2  
!p
 
    
   1    1     ,   
$   
 
  
2

d‡  -
 
 
     , $     
2

 . %
 
 
      
 
  

‡
  
 

"       
!

> <

 -    
  


    2

> 8

 -    
 

$      ,  $ %,              $   2

> @

 p 
   %  
 

 
  ? 
$ 
2

g"   
#  .  


~   } ($   }  '
} 6  

g"   $
  
   
  
!

6
   A( B
C A  D

g"   $
  
   
  
!

 
    = $
  1$  


  CE D

g"   $
  
   
  
!


    = ,$  
  -    
 

 $ 
  
 2

µ
%  ’ -   

   2 ’ 
  
  
  2 ’ 
 
  
 FG    
,
 
2FG


 
   2 ’ *   
$    
2

V&
%  ’     

 ,
 
2 ’ >
   

 
   2 ’ p

=
2 ’        
 2 5 H6>(6I>-7J>6(33

£
   „
  
 
 
    



 2  g 
 

 = 
 

 

   1
A
     552     
  
 

 


 $     ,   

  

2  „   $    A  

 ?
   
 A 
 2

'(‡  
 ‡£! 62 
 $ 
    2 662 
  % $1

 $2 6662-  $

2 62p
$=
   
  2 2 >
  
 $ 


    

2

'(‡  
 ࣣ! 62
 $  2 662>


$
$     2 6662>
$
$ 
2 6K2p
 $1
 $,
$ 
 2 K2 .  % $ 
 2

~


%
~
 ~
      
 

   
   - A     .(6-C.D          , A  '
  

     

2 ( $ 
A
 #   2

ø
 p    
  
) $ 2   
  
) 


2  E A

   
) 2  H  
) $$   2

~
  -     % /   
 
 
02  #   %


,
 
 

  
  -
 ?.(6-C-p.676@<:1
)  "   *  -
) 
,         
1
   
     
   
2-.(6-  
 
 
 O  ,   O   

4 1  1 
 
 
  
  '
O  
OC 
     D,   

1       C 
 
    

 

 D2



    ~
   

 
 

   6 ,    . 



‡ 
  
  5      
   
) 

2  
1  
  
 
   P       #    

 
 
 
 

1         
$  ,
   
  
           2


 

  5 
,    

   

 
) 2        

      ,    
 $
  
 
 $    
,
2

µ   >
 
 2 Q p    #    
# 

  2  1
# ,
 2 >
1  
       2 >

 

     C 
   1 
  D2 >

 
  $   C  


 122 2521  A1
 12D

ø
   H      
     
 

  

   Q  
  
  C,
 
DA

         2 Q .?  
2          2 Q 
 

 
 


       
 
 
 

µ
    

  
  
 
   
 2         2(  
    -;2 H  /6 ,   0 Q .   .   

6  2

~  ~   g
  
g
       „       

,  
2 •    

  
   
     C
 
    
D2

 - 

.(6-  
 
 
   
        4     1
   
,
12

"
 ~
~
 <2
    
 
      
 

     2 82-    
 ,  

 

 <R 


   

C     
   

,  =   1  


A   D2 @2-    ,  


 8R$ A    2

 ~


 ~
  -    6  -;14  2 Q >


=

 
2 Q .2 A  1

  2 ( 
 6
  6

  


%
 

 



 
         
2 E 
  
  2 "   2 H 
 2 6    
 
 
  , 
4  2



 
        %    A   
   
 

    
CRR1 ( 1 222D 

  
,


 
 
   % 

 
    =    1  

  ,   
4   = C 
 ,   D1


 
 =

 1   
   ,  1 4

   % 
 
$ 1

 
  
, 2  
 
   %  
  $  , 
 
   
 
 $  C  
 D   A 
 

  
2

 - 
  A      %     
  
        A    
##   $
#     %
  
2

 
 

    
    
      
-

 
      
 
         
 
CA
 
 
  -.(-.5D        
$    
    2  -=   
       - 

 
     
 
        A 
 
 ##
   $

 
 
  %     
   
  A 
      A
 =
    
.2

µ

  ~
  p   (   . %
  

  .?
 
   
2

  ~
  
A
 #     '
    
  
  $ 4
  
  
   
   
   
 
  

    

  
A
 #   

     
     

  
  

    &        
       CH? p  ,HS   
D       
, 
         

 
   .(6-
  %
  
     
) 


  ,  
    %
1,
 
 
 

   


4 



 

 1  % 
 #      A    .(6-2-

         
  1


  
     $  ,

    A ,
 
 2 
        
    4  ,  
        
  2

‡
  }p
    

}     p