U.S. flag
      An official website of the United States government, Department of Justice.
        Here's how you know
      Here's how you know**Official websites use .gov**
            
            A **.gov** website belongs to an official government organization in the United States.
      **Secure .gov websites use HTTPS**
            
            A **lock** (
            A locked padlock
            ) or **https://** means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites. Menu

      
        close

            
            
                                              About NIJ
        
                    
  
          About NIJ
      
    
          The NIJ Director
          How NIJ Is Organized
          Mission and Guiding Principles
          Research and Development Process
          Strategic Framework
          Assessments of NIJ
          Annual Reports & Reports to Congress
          Staff Directory
          Funding & Awards
        
                    
  
          Funding & Awards
      
    
          Current Funding
          Forthcoming Funding
          Expired Funding
          Awards: Listing of Funded Projects
          Guidance for Applicants and Awardees
          Fellowship & Student Programs
          Travel Scholarships
          NIJ Challenge Program
          Library & Multimedia
        
                    
  
          Library & Multimedia
      
    
          NIJ Journal
          Podcasts
          Publications Listing
          Multimedia Listing
          Rated Practices on CrimeSolutions
          Rated Programs on CrimeSolutions
          Software & Databases
          Datasets
          Patents
          Topics
        
                    
  
          Topics
      
    
          Article Listing
          Corrections
          Courts
          Crime Prevention
          Crimes
          Drugs and Crime
          Equipment and Technology
          Forensic Sciences
          Youth Justice
          Justice System Reform
          Law Enforcement
          Tribal Crime and Justice
          Victims of Crime
          Events
        
                    
  
          Events
      
    
          NIJ 2024 Research Conference
          Scheduled Events
          On-Demand Events
          Research Meetings & Workshops
          NIJ-Hosted Online Training

                            
                                About
          Contact Us
          Subscribe
          Topics A-Z
                  Share
FacebookXLinkedInRedditPinterestEmail Home
                            Library & Multimedia
 Publications Listing Use Search Filters
Select Filters
    Sponsored or Published
        - Any -PublishedSponsoredOther OJP/OJP-Sponsored Publications
Publication Type
        - Any -Administration/Management MaterialBest Practice/State-of-the-Art ReviewBibliographyBiographyBook ReviewCase StudyCitizen Involvement MaterialCollected WorkConference MaterialCurriculumData SnapshotDictionaryDirectoryExerciseFactsheetFormGrants and FundingGuidelineHandbookHistorical OverviewInstructional MaterialInstructional Material (Programmed)InterviewIssue OverviewLegislation/Policy AnalysisLegislation/Policy DescriptionLegislative Hearing/Committee ReportLegislative/Regulatory MaterialLiterature ReviewMarketing/PromotionalMeasurement/Evaluation DeviceMonographNews and AnnouncementNewsletterOnline OnlyOverview TextPolicyPolicy/Procedure Handbook/ManualPresentationPresentation (Multimedia)Press ReleaseProgram Description (Demonstrative)Program Description (Model)Program/Project DescriptionProgram/Project EvaluationPublicationQuestionnaireReference MaterialReport (Annual/Periodic)Report (Grant Sponsored)Report (Study/Research)Report (Summary)Report (Technical Assistance)Report (Technical)Research (Applied/Empirical)Research (Theoretical)Research PaperSolicitationSpreadsheetStandardState PlanStatisticsSurveySurveySurvey (Cross-Cultural)Technical AssistanceTest/MeasurementThesis/DissertationTrainingTraining (Aid/Material)Training (Handbook/Manual)Vocabulary/ThesaurusYouth-Oriented Material
Topic
        - Any -CorrectionsCourtsCrimeCrime preventionDrugsForensic sciencesJuvenile justiceJustice system reformLaw enforcementTribal justiceVictims of crime
  Enter search criteria
    Keywords
Author(s)
  Sort by
    Sort by
        Date PublishedTitle
Order
        AscendingDescending
  Submit all selections
Clear selections
                            
            
      Exploring Hybrid Dynamic and Static Techniques for Software Verification
    
        Date Published

2010
  Agencies
          NIJ-Sponsored
    
          Side navigation
  

        

  
  
              NIJ Journal
    
      
            
            
            
      Podcasts
    
      
            
            
            
      Publications Listing
    
      
            
            
            
      Multimedia Listing
    
      
            
            
            
      Rated Practices on CrimeSolutions
    
      
            
            
            
      Rated Programs on CrimeSolutions
    
      
            
            
            
      Software & Databases
    
      
            
            
            
      Datasets
    
      
            
            
            
      Patents
 Top

      National Institute of Justice

        
        
                        About NIJ
                    About NIJ
      
    
                  How NIJ Is Organized
      
    
                  NIJ Director
      
    
                  Research Disclaimer
      
    
                  Funding & Awards
                    Funding & Awards Home
      
    
                  Awards Listing
      
    
                  Current Funding
      
    
                  Guidance for Applicants and Awardees
      
    
                  Resources
                    Events
      
    
                  Podcasts
      
    
                  Publications
      
    
                  Topics
      
    
                  Multimedia
      
    
                  Reuse Policy
      
    
                  Contacts
                    Contact NIJ
      
    
                  Staff Directory
      
    
                  Submit a FOIA Request
      
    
                  File a Civil Rights ComplaintFacebook
          
                      X
          
                      YouTube
  

      810 7th St. NW, Washington, D.C. 20531
      
              Secondary Footer link menu
            Accessibility
              Plain Language
              Privacy Policy
              Legal Policies and Disclaimer
              No FEAR Act
              Freedom of Information Act
              USA.gov
              Justice.gov