HCSS '01

file

Visible to the public Tools to Support Enterprise Assurance Arguments

Submitted by adyson on Wed, 02/15/2012 - 5:01pm. Contributor:
file

Visible to the public Automated Reliability Testing — ART

Submitted by adyson on Wed, 02/15/2012 - 4:56pm. Contributor:
  • 171.35 KB
  • 0 views
  • 76 downloads
  • Download
file

Visible to the public Disappearing Formal Methods

Submitted by adyson on Wed, 02/15/2012 - 4:43pm. Contributor:
  • 187.86 KB
  • 0 views
  • 60 downloads
  • Download
file

Visible to the public A Solver for Non-linear Boolean Functions

Submitted by adyson on Wed, 02/15/2012 - 4:40pm. Contributor:
  • 206.62 KB
  • 0 views
  • 65 downloads
  • Download
file

Visible to the public Program Verification and the Church-Rosser Theorem

Submitted by adyson on Tue, 02/14/2012 - 1:36pm. Contributor:
  • 213.14 KB
  • 0 views
  • 67 downloads
  • Download