Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
TO
2010
School Or College
College of Engineering
1
Department
Computing
1
Publication Type
dissertation
1
Subject
Compiler verification
1
Formal verification
1
GPU program
1
Parallel program
1
SMT solving
1
Theorem proving
1
More
Filters:
Department:
"Computing"
Format:
"application/pdf"
Publication Type:
"dissertation"
School Or College:
"College of Engineering"
Collection:
"ir_etd"
Subject:
"Parallel program"
Type:
"Text"
1
-
25
of
1
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Author
Title
Subject
Date
Publication Type
1
Li, Guodong
Formal verification of programs and their transformations
Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving
2010-12
dissertation
1
-
25
of
1