Industry

The document was issued by industry or industrial organization.
file

Visible to the public Moving forward with DIS and the Building Code

Submitted by scherlis on Thu, 04/24/2014 - 10:19pm. Contributors:

Presented as part of the 2014 HCSS conference.

Moderator:Bill Scherlis (CMU)
Panelists: Byron Cook (Microsoft Research and University Colllege London), Kathleen Fisher (DARPA), John Hatcliff (Kansas State University), John Launchbury (Galois, Inc.), Ray Richards (Rockwell Collins)

Abstract:

file

Visible to the public Through the Lens of Abstraction

Submitted by brad_martin on Tue, 04/22/2014 - 11:04am. Contributors:

Presented as part of the 2014 HCSS conference.

This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.