Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jared Davis
Observed names:
Davis, Jared,
Davis, Jared Curran,
Jared Curran Davis
Observed institution:
The University of Texas at Austin
OpenAlex ID:
A5111908333
A flexible formal verification framework for industrial scale validation
2011
·
Anna Slobodova
, Jared Davis
, et al.
·
ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
·
44
A Verified Runtime for a Verified Theorem Prover
2011
·
Magnus O. Myreen
, Jared Davis
·
Lecture notes in computer science
·
42
Use of Formal Verification at Centaur Technology
2010
·
Warren A. Hunt
, Sol Swords
, et al.
·
Springer eBooks
·
28
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)
2015
·
Jared Davis
, Magnus O. Myreen
·
Journal of Automated Reasoning
·
24
Microcode Verification – Another Piece of the Microprocessor Verification Puzzle
2014
·
Jared Davis
, Anna Slobodova
, et al.
·
Lecture notes in computer science
·
15
A self-verifying theorem prover
2009
·
J. Strother Moore
, Jared Davis
·
14
The reflective Milawa theorem prover is sound (down to the machine code that runs it
2014
·
Magnus O. Myreen
, Jared Davis
·
10
Fix Your Types
2015
·
Sol Swords
, Jared Davis
·
Electronic Proceedings in Theoretical Computer Science
·
7
PDF
The Reflective Milawa Theorem Prover Is Sound
2014
·
Magnus O. Myreen
, Jared Davis
·
Lecture notes in computer science
·
6
Verified AIG Algorithms in ACL2
2013
·
Jared Davis
, Sol Swords
·
Electronic Proceedings in Theoretical Computer Science
·
6
PDF
Reasoning about ACL2 file input
2006
·
Jared Davis
·
3
Memories
2006
·
Jared Davis
·
3
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
2013
·
Gamboa, Ruben
, Davis, Jared
·
Electronic Proceedings in Theoretical Computer Science
·
2
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
2013
·
Jared Davis
·
Electronic Proceedings in Theoretical Computer Science
·
1
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
2013
·
Ruben Gamboa
, Jared Davis
·
Electronic Proceedings in Theoretical Computer Science
The Milawa Rewriter and an ACL2 Proof of its Soundness
2013
·
Jared Davis
A Trustworthy, Extensible Theorem Prover
2007
·
Jared Davis
Show more works
View as search
Works count:
26
Citation count:
206
H-index:
7
I10-index:
7
Year
Topic
Type
