William R. Bevier - Concepedia

Author

William R. Bevier

Also Known As

W.R. Bevier, William R. Bevier

Publications

402

Citations

H-Index

Concepts

All Affiliations

William R. Bevier is an author at Cirrus Logic (United States) specializing in computer science, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	288
2	Computer Science	4	4	288
3	Computer Engineering	2	2	121
4	Language Studies	1	1	24
5	Linguistics	1	1	24

William R. Bevier

Publications

354

Citations

H-Index

Page 1

	Year	Citations
An approach to systems verification William R. Bevier, Warren A. Hunt, J Strother Moore, Journal of Automated Reasoning EngineeringAutomated ReasoningProgram AnalysisVerificationFormal Methods	1989	143
Kit: a study in operating system verification William R. Bevier IEEE Transactions on Software Engineering EngineeringVerificationConcurrent SystemSmall MultitaskingSoftware Analysis	1989	102
A verified operating system kernel William R. Bevier, Robert S. Boyer, J Strother Moore	1987	51
A state-based approach to noninterference William R. Bevier, William D. Young EngineeringInformation SecurityVerificationSemanticsFormal Verification	2002	24
Toward Verified Execution Environments William R. Bevier, Warren A. Hunt, William D. Young Program CheckingEngineeringTower-level SoftwareVerificationComputer-aided Verification	1987	19
Machine checked proofs of the design of a fault-tolerant circuit William R. Bevier, William D. Young Formal Aspects of Computing	1992	15

Page 1