2013 High Confidence Software and Systems Conference

Term: HCSS'11 Theme: Evidence
Type Term Title Author Repliessort icon Last Post
File HCSS'11 Theme: Evidence Compiler Verification and Beyond: Verified Tools for High-Assurance Software 0 Katie Dey May 10 2011 - 8:47am
File HCSS'11 Theme: Evidence Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs 0 Katie Dey May 10 2011 - 9:00am
File HCSS'11 Theme: Evidence Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4 0 Katie Dey May 10 2011 - 9:13am
File HCSS'11 Theme: Evidence Developing Secure Mobile Architectures: The COTS Challenge 0 Katie Dey May 10 2011 - 9:24am
File HCSS'11 Theme: Evidence Parametric Verification of Address Space Separation 0 Katie Dey May 26 2011 - 7:44pm
File HCSS'11 Theme: Evidence Let's Build Secure Systems on a Correct Kernel 0 Katie Dey May 10 2011 - 9:18am
File HCSS'11 Theme: Evidence Proposed Formal Methods Supplement for RTCA DO 178C 0 Katie Dey May 26 2011 - 8:08pm
File HCSS'11 Theme: Evidence Towards High-Assurance Run-Time Systems 0 Katie Dey May 10 2011 - 9:05am