Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

SureLogic

file

Concurrency-Focused Dynamic Analysis

Submitted by TimTh on Tue, 05/28/2013 - 8:41am. Contributor:

Timothy Halloran

Presented as part of the 2013 HCSS conference.

ABSTRACT:

file

Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties

Submitted by TimTh on Mon, 05/16/2011 - 8:34am. Contributor:

Tim Halloran

Presented as part of the 2011 HCSS conference.

Terms of Use | ©2023. CPS-VO