- G. A. Haynes, "Program Verification Applicability to Contemporary Distributed Computer Systems: A Case Study", Texas Instruments, 1979.Google Scholar
Recommendations
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]). ...
The Early History of ICs at Texas Instruments: A Personal View
Charles Phipps performed the functions of business development and then marketing for integrated circuits at Texas Instruments from the beginning of this technology in 1959 through the mid-1960s. In this article, he details IC development at TI during ...
Comments