Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
2012
2013
2014
2015
2016
2017
TO
2010
2011
2012
2013
2014
2015
2016
2017
Type
Text
3
Format
application/pdf
3
Collection
Theses & Dissertations
3
Filters:
Subject:
"Formal verification"
1
-
25
of
3
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
Title
Date
Type
1
Formal verification of programs and their transformations
2010-12
Text
2
Improved model generation and property specification for analog/mixed-signal circuits
2013-08
Text
3
Word-level abstractions for sequential design verification using algebraic geometry
2017
Text
1
-
25
of
3
