Robert S. Boyer
Index Terms
- Program verification prize
Recommendations
The nobel prize and its discontents
The Nobel Prize is the peak honor in physics. Yet this year it celebrated not science, but technology: "the invention of an imaging semiconductor circuit-the CCD sensor." The winners were two IEEE Fellows from Bell Telephone Laboratories, Willard S. ...
Formal Verification for C Program
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. We present an approach for automatically verifying C programs against safety specifications based on finite state machine. The ...
An Interface Theory for Program Verification
Leveraging Applications of Formal Methods, Verification and Validation: Verification PrinciplesAbstractProgram verification is the problem, for a given program and a specification , of constructing a proof of correctness for the statement “program satisfies specification ” () or a proof of violation ([inline-graphic not available: see fulltext]). ...
Comments