Search Results for 'Assert-Tests'

Assert-Tests published presentations and documents on DocSlides.

Reasoning about Relaxed Programs

by karlyn-bohler

Michael . Carbin. Deokhwan. Kim, . Sasa. . Misa...

Using and Building an Automatic Program Verifier

by marina-yarberry

K. Rustan M. Leino. Research in Software Engineer...