6
Publications
354
Citations
6
H-Index
1987
Active since
Affiliations
Cirrus Logic (United States)(Current)
William R. Bevier is an author at Cirrus Logic (United States) specializing in computer science, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystem SoftwareProgram AnalysisSoftware AnalysisSoftware VerificationData Security
Publications per year
1987–2002
6
6
An approach to systems verification
William R. Bevier, Warren A. Hunt, J Strother Moore et al. · Journal of Automated Reasoning · 1989 · 143 citations
A verified operating system kernel
William R. Bevier, Robert S. Boyer, J Strother Moore · 1987 · 51 citations
A state-based approach to noninterference
William R. Bevier, William D. Young · 2002 · 24 citations
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt, William D. Young · 1987 · 19 citations
Rows per page
1–5 of 6