"execution" po angielsku z przykładami - Słownik kolokacji angielskich
      
              
          
          
                
        
        
        
        
      
      
            
        
      
      
            
        
        
        
        
        
        
        
        
        
        
        
        
        
        
      
      
            
        
        
        
      
      
            
              - He had killed her - but it had been a symbolic execution, a denial of his second love, and now the symbolism was gone.
 
              - For he recognized the preliminary stay of his own symbolic execution.
 
              - Model checking and symbolic execution are used to verify the safety-critical properties of device drivers.
 
              - In symbolic execution programs are executed and monitored symbolically, that is, without concrete inputs.
 
              - One symbolic execution of the system may cover a large set of concrete inputs.
 
              - Each year, we have 10 or 12 or 20 symbolic executions.
 
              - See a bibliography of more technical papers published on symbolic execution.
 
              - During that, program modalities are eliminated by symbolic execution.
 
              - Secondly, symbolic execution runs through the program forward just as an actual execution would.
 
              - An example of symbolic execution with updates: is transformed to in the first step and to in the second step.
 
          
           
     
           
     
        
        
        
        
           
     
           
     
        
               
         
           
      Kliknij na wybrany nagłówek, aby rozwinąć grupy kolokacji, kolokacje oraz przykładowe zdania.