Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
TO
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
Type
Text
5
Format
application/pdf
5
Collection
Honors Theses Open Access
1
Theses & Dissertations
3
UScholar Works
1
Filters:
Subject:
"verification"
1
-
25
of
5
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
Setname
1
Efficient, sound formal verification for analog/mixed-signal circuits
2015-08
Text
ir_etd
2
Extending Support for Floating-Points in the Boogie and Smack Software Verifiers
2019
Text
ir_htoa
3
Global ensemble forecast system precipitation forecasts and the implications of statistical downscaling over the western united states
2016
Text
ir_etd
4
Towards a verification technique for large synchronous circuits
1992
Text
ir_uspace
5
Verification and validation of a geomodel aimed at simulating wellbore completion via shaped-charge jet perforation of metal and penetration into sandstone
2013
Text
ir_etd
1
-
25
of
5
