Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
» HCSS'15
HCSS'15
file
Qualification of Formal Methods Tools
Submitted by dcofer on Thu, 04/23/2015 - 5:36pm. Contributor:
Darren Cofer
Presented as part of the
2015 HCSS conference
.
Abstract:
Aerospace
Validation and Verification
Dagstuhl
formal methods
high-assurance
qualification
tools
National HCSS Conference 2015
Industry
Abstract
Presentation
HCSS'15
Proof Engineering (HCSS'15)
file
Deep Specifications and Certified Abstraction Layers
Submitted by Ronghui Gu on Thu, 04/23/2015 - 5:36pm. Contributor:
Ronghui Gu
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
abstraction layers
deep specifications
National HCSS Conference 2015
Academia
Abstract
HCSS'15
Proof Engineering (HCSS'15)
file
Issues, Challenges and Opportunities in the Qualification of Formal Method Tools
Submitted by tinelli on Thu, 04/23/2015 - 5:36pm. Contributor:
Cesare Tinelli
Presented as part of the
2015 HCSS conference
.
Abstract:
certification
formal methods
model-checkers
Safety-Critical Systems
tool qualification
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Proof Engineering (HCSS'15)
file
Multi-Language and Multi-Prover Verification with SAWScript
Submitted by Katie Dey on Thu, 04/23/2015 - 5:36pm. Contributor:
Aaron Tomb
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
analysis
formal methods
SAT solvers
SMT solvers
theorem provers
National HCSS Conference 2015
Research Organization
Abstract
Presentation
HCSS'15
Proof Engineering (HCSS'15)
file
CodeHawk: Sound Static Analysis for Proving the Absence of Memory Related Software Vulnerabilities
Submitted by drsmith17 on Thu, 04/23/2015 - 5:36pm. Contributor:
Douglas Smith
Presented as part of the
2015 HCSS conference
.
Abstract:
Testing
Validation and Verification
Foundations
assurance
CodeHawk
proofs
tools
National HCSS Conference 2015
Research Organization
Abstract
Presentation
HCSS'15
Proof Engineering (HCSS'15)
« first
‹ previous
1
2
3
