A Metric for Testing Program Verification Systems

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38916-0_4 ◽

2013 ◽

pp. 56-75 ◽

Author(s):

Bernhard Beckert ◽

Thorsten Bormer ◽

Markus Wagner

Keyword(s):

Program Verification ◽

Testing Program ◽

Verification Systems

Download Full-text

Weak second order characterizations of various program verification systems

Theoretical Computer Science ◽

10.1016/0304-3975(89)90156-4 ◽

1989 ◽

Vol 66 (3) ◽

pp. 299-321 ◽

Author(s):

J.A Makowsky ◽

I Sain

Keyword(s):

Program Verification ◽

Second Order ◽

Verification Systems

Download Full-text

An Interaction Concept for Program Verification Systems with Explicit Proof Object

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_11 ◽

2017 ◽

pp. 163-178 ◽

Author(s):

Bernhard Beckert ◽

Sarah Grebing ◽

Mattias Ulbrich

Keyword(s):

Program Verification ◽

Verification Systems ◽

Download Full-text

Strengths and weaknesses of Program Verification Systems

ESEC '87 - Lecture Notes in Computer Science ◽

10.1007/bfb0022132 ◽

2006 ◽

pp. 396-404 ◽

Author(s):

Dan Craigen

Keyword(s):

Program Verification ◽

Verification Systems

Download Full-text

Comparison of males and females in the dental admission testing program

Journal of Dental Education ◽

10.1002/j.0022-0337.1976.40.12.tb01050.x ◽

1976 ◽

Vol 40 (12) ◽

pp. 783-786 ◽

Author(s):

JW Graham

Keyword(s):

Testing Program ◽

Males And Females

Download Full-text

Development of the perceptual-motor ability test to replace the carving dexterity examination of the dental admission testing program

Journal of Dental Education ◽

10.1002/j.0022-0337.1971.35.2.tb00323.x ◽

1971 ◽

Vol 35 (2) ◽

pp. 51-51

Author(s):

RA Pyskacek

Keyword(s):

Motor Ability ◽

Ability Test ◽

Testing Program

Download Full-text

What you need to know about starting a student drug-testing program

PsycEXTRA Dataset ◽

10.1037/e307702005-001 ◽

2004 ◽

Author(s):

Keyword(s):

Drug Testing ◽

Testing Program ◽

Student Drug Testing

Download Full-text

Random Student Drug Testing Program Embraced By Suburban Phoenix Community

PsycEXTRA Dataset ◽

10.1037/e407392008-002 ◽

2007 ◽

Author(s):

Regina Wainwright

Keyword(s):

Drug Testing ◽

Testing Program ◽

Student Drug Testing

Download Full-text

The aviation mechanic testing program in the operational compounds.

PsycEXTRA Dataset ◽

10.1037/e411862004-001 ◽

1956 ◽

Author(s):

Howard J. Hausman ◽

Joseph E. Morsh

Keyword(s):

Testing Program

Download Full-text

New York State Testing Program: Mathematics Grade 8: Technical Report 2003

PsycEXTRA Dataset ◽

10.1037/e418682005-001 ◽

2004 ◽

Author(s):

Keyword(s):

New York ◽

New York State ◽

State Testing ◽

Testing Program ◽

Technical Report ◽

Download Full-text

Results of the Drug Testing Program at Southern Pacific Railroad

PsycEXTRA Dataset ◽

10.1037/e496512006-008 ◽

1989 ◽

Author(s):

Robert W. Taggart ◽

Keyword(s):

Drug Testing ◽

Testing Program ◽

Pacific Railroad ◽

Southern Pacific Railroad

Download Full-text